thih-1.0: Typing Haskell In Haskell

SourceMonad

Documentation

main :: IO ()Source

saveMonad :: IO ()Source

imports :: [Assump]Source

monadDefns :: [BindGroup]Source

monadMems :: [BindGroup]Source