thih-1.0: Typing Haskell In Haskell
Lit
data Literal Source
Constructors
tiLit :: Literal -> TI ([Pred], Type)Source