|
Revision 11877, 285 bytes
(checked in by maeder, 5 months ago)
|
|
disallowed explicit pseudo type notation following := (assign)
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| 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 |
|---|
