Items.hascasl.output revision 37e2067019ef1e30bc7ad98b9bc623aa41cfa980
type ** :Type ->Type ->Type
var a:{_ < c}
var {a} : c -> d
class Monad :Type ->Type
type a :Monad := \ t:Type . t -> t
free type Term ::= Var Variable |
Lam Variable Term |
App Term Term
type WNet = {(sys, i, o) : T � T � T . i = o}