Chris Tetreault
Chris Tetreault
Regarding the question of what "less is better" for a boolean means, I propose the C definition of true=1, false=0, and that false < true. Alternatively, I think "good/bad" is...
Fair enough, works for me!
I just noticed, while starting chapter 6, that there are no asides in chapter 5. I think this should be looked at, and stuff added if it makes sense.
This issue is being opened per discussion with @ranjitjhala on issue #18
Doesn't work for me (liquid haskell 0.3.0.0, liquid-fixpoint 0.2.2.0, ghc 7.8.3, z3 4.4.0). To be fair, if I copy my code and paste it into your demo page, it type...
I am using the binaries on hackage, not the current repo. Perhaps something you did in the last few days fixed this?
To be clear, you want me to clone the current liquidhaskell repo and build it with `make test`? I'm having some trouble getting the dependencies resolved. It seems some module...
Well, I did that, and it worked. Then I undid it, and now it still works. Is it caching results in that `.liquid` folder that's in the source dir?
So if I write a function, then write a messed up specification for said function, then fix the spec, it will never recheck it unless I change the function or...
This issue should be closed after PR https://github.com/ucsd-progsys/liquidhaskell-tutorial/pull/27 is merged