ucsd-progsys/liquidhaskell — pull request #231 by ranjitjhala (2014-08-04 22:14:01+00:00)
Title: Effects: 

Some cleanup and tidying to prepare for adding the HProp.

Lots of crosscutting changes, so want to merge sooner rather than later.