root/trunk/HasCASL/test/Items.hascasl.output
@
7441
| Revision 7441, 301 bytes (checked in by 2maeder, 3 years ago) | |
|---|---|
|
|
| Line | |
|---|---|
| 1 | type ** : Type -> Type -> Type |
| 2 | var a < c |
| 3 | var {a} : c -> d |
| 4 | class Monad < Type -> Type |
| 5 | type a t := t -> t |
| 6 | free type Term ::= Var Variable | Lam Variable Term | App Term Term |
| 7 | type WNet = {(sys, i, o) : T * T * T . i = o} |
| 8 | var a : +Type |
| 9 | var - : Type |
| 10 | var []+ : Type |
| 11 | op a : ? b |
| 12 | op a : ? b |
Note: See TracBrowser
for help on using the browser.
