ucsd-progsys/liquidhaskell — pull request #83 by nikivazou (2013-06-11 04:44:56+00:00)
Title: Termination

Use flag --termination-check to check termination.
See https://github.com/ucsd-progsys/liquidhaskell/tree/termination#termination-check