remove some Lazy annotations
add axiom_ord to remove erroneous recursion
weird...
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
don't check termexprs when importing
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
add witness tags in Data.List
Adasd
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
a termination example
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
blog post on termination
minor
split post
262 tests fail with lazy inst
lies...
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
grr those damn tests...
adasd
Asdasd