ucsd-progsys/liquidhaskell — pull request #44 by gridaphobe (2013-03-27 15:20:33+00:00)
Title: Minor fixes for talking-about-sets.lhs

Two additional comments:

- Just before "Proving Theorems With LiquidHaskell" you have a paragraph that begins with "Note: Oh quite." It's unclear what you're responding to there.
- I noticed that `[]` is given the type `{v: [{v:a | false}]}`, is that intended? I can see how that might be useful, the empty list has no elements so we can prove anything we want about them; just want to make sure the `false` isn't escaping into the environment and causing problems elsewhere.