constraints reach generate\~
contraintToLogic compiles
constraints are assumed
missing files
check contraints
state seems feasible now
begin able to verify State
reasoning about state\'s value
can we FINALLY do filter?
Merge pull request #289 from ucsd-progsys/constraints

Logical Constraints
asdads
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
haha, looks like tests/todo/filterAbs.hs works
haha, looks like tests/todo/filterAbs.hs works
qsort should work
Update filterAbs.hs
haha, looks like tests/todo/filterAbs.hs works
cleaning
tests
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell into constraints
use list append in qsort