ucsd-progsys/liquidhaskell — pull request #18 by ranjitjhala (2012-11-21 21:07:37+00:00)
Title: Predicate Aliases

See tests/pos/pred.hs for a small example, and benchmarks/esop2013-submission/Base.hs