thih-1.0: Typing Haskell In Haskell
SourceTest
main :: IO ()Source
saveTest :: IO ()Source
imports :: [Assump]Source
testDefns :: [BindGroup]Source