ucsd-progsys/liquidhaskell — pull request #8 by nikivazou (2012-10-30 04:01:02+00:00)
Title: Max int

making maxInt example from overview work

-- it used to throw "Antoher Broken Test" error from Constraint when maxInt type signature was added.

and change annotation printing to print SpecTypes instead of RefTypes so that predicate variables are visible in .html