Language.Glambda.Type

Glambda types to be used in Haskell terms

data Ty

readTyCon

Glambda types to be used in Haskell types

data STy

data SCtx

class ITy ty

emptyContext

refineTy

unrefineTy

eqSTy