thih-1.0: Typing Haskell In Haskell
TIProg
type Program = [BindGroup]Source
tiProgram :: ClassEnv -> [Assump] -> Program -> [Assump]Source
tiProgram' :: ClassEnv -> [Assump] -> Program -> [Assump]Source