ucsd-progsys/liquidhaskell — pull request #219 by nikivazou (2014-06-17 16:26:46+00:00)
Title: Reals

Adds support for real numbers. Depends on fixpoint/reals. See [tests/pos/RealProps.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/37a7fd6d3a2f6b303d0c0a599130739652bd1d6b/tests/pos/RealProps.hs).