Items.hascasl.output revision b603f34b79bc0992e5d74f484e5bdc9f9c2346c6
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maedertype ** : Type -> Type -> Type
aef82b7f1af220ffd131169e5105ed392e8ff815Christian Maedervar {a} : c -> d
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maederclass Monad < Type -> Type
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescutype a : Monad := \ t . t -> t
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maederfree type Term ::= Var (Variable) |
cfbd735270fe52115cef0508d265785efcb99cd7Christian Maeder Lam (Variable) (Term) |
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maeder App (Term) (Term)
9dfd1232c13b92f20ed81210966f898549f94f3fChristian Maedertype WNet = {(sys, i, o) : T * T * T . i = o}