Items.hascasl.output revision 32a2f5f00ff72c095b39629101043db4407974f9
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksatype ** : Type -> Type -> Type
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksavar {a} : c -> d
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaclass Monad < Type -> Type
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksatype a : Monad := \ t . t -> t
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksafree type Term ::= Var Variable | Lam Variable Term | App Term Term
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksatype WNet = {(sys, i, o) : T * T * T . i = o}
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksavar a : +Type