ucsd-progsys/liquid-fixpoint — pull request #25 by ranjitjhala (2013-11-06 18:50:44+00:00)
Title: Exists2

In `Sort` all non-primitive type applications

(t1 t2 ... tn)

are encoded as

FApp( "FAppTy", [FApp ("FAppTy", [t1, t2]),...), tn])

See commentary at:

https://github.com/ucsd-progsys/liquidhaskell/pull/149

Also linked to `liquidhaskell` pull request

https://github.com/ucsd-progsys/liquidhaskell/pull/150