temp checkin
ok, done with BOS talk, I think...
split 00 into 000, 001
split 00 into 000, 001
get rid of RefTypes
totally clean RefTypes
minor
Merge pull request #261 from ucsd-progsys/no_ref_types

Delete obsolete RefType
inline case fail
minor
moving test around
edit fail name
adding prop-measure test
asd Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
mv test
Merge pull request #262 from ucsd-progsys/inline_failure_in_cases

Inline failure in cases
adding ungood-small image
adding ungood-small image
asda
Merge branch 'master' of https://github.com/ucsd-progsys/liquidhaskell
update TODO