ucsd-progsys/liquidhaskell — pull request #249 by nikivazou (2014-10-01 02:54:40+00:00)
Title: haskell measure -- beta

Lift haskell functions to measures, see [test/pos/HaskellMeasure.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/fb299310909a8b3a603ddc0d58dbb01ef40549c4/tests/pos/HaskellMeasure.hs)