thih-1.0: Typing Haskell In Haskell
Testbed
module PPrint
module Id
module Kind
module Type
module Pred
module Scheme
module Subst
module Unify
module Assump
module Lit
module Pat
module TIMain
module TIProg
module Static
test :: ClassEnv -> [Assump] -> [BindGroup] -> IO ()Source
save :: String -> ClassEnv -> [Assump] -> [BindGroup] -> IO ()Source