root/trunk/HasCASL/test/Items.hascasl
@
10650
| Revision 10650, 287 bytes (checked in by maeder, 15 months ago) | |
|---|---|
|
|
| Line | |
|---|---|
| 1 | type ** : Type -> Type -> Type |
| 2 | var a < c |
| 3 | var {a}: c -> d |
| 4 | class Monad < Type -> Type |
| 5 | type a : Monad := \ 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.
