language-pts-0: Pure Type Systems

Safe Haskell	None
Language	Haskell2010

Language.PTS.Examples.Contexts

Documentation

emptyCtx :: a -> Maybe (Value s) Source #

basicCtx :: Specification s => Sym -> Maybe (Value s) Source #