ucsd-progsys/liquidhaskell — pull request #33 by nikivazou (2013-02-17 21:00:04+00:00)
Title: Exists2

Add existential type to support function composition