ucsd-progsys/liquidhaskell — pull request #124 by nikivazou (2013-09-20 18:52:19+00:00)
Title: Mutual Recursion

Implementing termination check for mutual recursion.

Xi's example for quicksort can be checked see `tests/pos/RecQSort.hs`

Some mutual recursive functions from `text` and `bytestring` need to be proven before merging,