qsort should work
cleaning
tests
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell into constraints
use list append in qsort
Merge pull request #290 from ucsd-progsys/constraints

More Logical Constraints