|
Revision 8578, 430 bytes
(checked in by maeder, 2 years ago)
|
|
corrected examples from overview
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | types S, T |
|---|
| 2 | type Binary := S * S -> T |
|---|
| 3 | var s: Type |
|---|
| 4 | type MyPred s := s ->? Unit |
|---|
| 5 | type MyAlias t := t ->? Unit |
|---|
| 6 | |
|---|
| 7 | type a1 a b := a -> b -> Unit |
|---|
| 8 | type a1 := \ (a) (b) .a -> b -> Unit |
|---|
| 9 | type a1 a := \ b .a -> b -> Unit |
|---|
| 10 | |
|---|
| 11 | type a2 := \ (a) (b) . a -> Unit |
|---|
| 12 | |
|---|
| 13 | type a3 := \ (a) (a) . a -> Unit |
|---|
| 14 | |
|---|
| 15 | type a4 a a := a -> Unit |
|---|
| 16 | |
|---|
| 17 | type a5 a |
|---|
| 18 | |
|---|
| 19 | type a5 a := a5 a -> Unit |
|---|
| 20 | |
|---|
| 21 | type a6 a |
|---|
| 22 | |
|---|
| 23 | type a7 a := a6 a -> Unit |
|---|
| 24 | |
|---|
| 25 | type a6 a := a7 a -> Unit |
|---|
| 26 | |
|---|
| 27 | type a2 : Type -> Type |
|---|
