asdad
cleanup
restore termination bug, fix for #127
support for local spec
choose when eq
rename makeHints'
FAILING TESTS module naming?
fix failing tests: local specs may refer to imported modules
minors
all tests pass
Add a grammar for refinement predicates to README
start drafting `text` blogs
inModule -> modElem
Merge pull request #128 from ucsd-progsys/localSpec

Local specifications
cabal
anf
make it compile
Merge pull request #130 from ucsd-progsys/henning

Henning
uh oh
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
yikes.