ucsd-progsys/liquidhaskell — pull request #270 by nikivazou (2014-11-25 07:40:44+00:00)
Title: Prop measures

This branch allows for lifting Bool haskell functions to Prop measures, as requested in #263.