ucsd-progsys/liquidhaskell — pull request #64 by nikivazou (2013-04-24 22:17:07+00:00)
Title: Tyvar substitution

Substitute liquid type variables with ghc type variables.
The substitution is done according to a map that is constructed by scanning both ghc and liquid types
and mapping the liquid to ghc tyvars with respect to their position is the types.