thih-1.0: Typing Haskell In Haskell

SourceTest

Documentation

main :: IO ()Source

saveTest :: IO ()Source

imports :: [Assump]Source

testDefns :: [BindGroup]Source