adding ungood-small image
adding ungood-small image
asda
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
update TODO
fix fail name
grr
Merge pull request #264 from ucsd-progsys/inline_failure_in_cases

inline_failure_in_cases
asd
update TODO
asd
adding back figs
adding back figs
ugh, pesky unsoundness
simplifying bug further
adding redblack as separate file
adding redblack as separate file
adding redblack as separate file
fix build against fixpoint-master
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
update readme and .cabal