ucsd-progsys/liquidhaskell — pull request #130 by nikivazou (2013-10-02 08:23:29+00:00)
Title: Henning

Edits as suggested by Henning Thielemann on liquidhaskell.cabal and ANFTransform.hs