thih-1.0: Typing Haskell In Haskell
SourceThih
main :: IO ()Source
saveThih :: IO ()Source
imports :: [Assump]Source
thihDefns :: [BindGroup]Source
thihMems :: [BindGroup]Source