asdad
cleanup
add no-true-types option to disable true types
add tests/todo/Class.hs

example of how we might associate measures with type-classes
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
add class/instance measure types.

parse and thread through to Constraint
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