thih-1.0: Typing Haskell In Haskell

Assump

Documentation

data Assump Source

Constructors

Id :>: Scheme 

Instances

find :: Monad m => Id -> [Assump] -> m SchemeSource