one more pass over first text blog
published
coq style proofs?
means
tmp
Merge branch 'class-default-methods' of https://github.com/gridaphobe/liquidhaskell
all basic tests pass
foo
proving some real properties
merge with master
Merge remote-tracking branch 'origin/master'
fixing some tests
average example
Merge pull request #220 from ucsd-progsys/reals

Reals