|
Revision 11877, 311 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 |
|---|
