 ulfn
|
d05260528c
[ issue 730 ] BUILTIN NATURAL now binds ZERO and SUC
|
11 年之前 |
|
ulfn
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 年之前 |
 james
|
d25121eee9
declare-before-use mutual definitions (AIM XIV)
|
13 年之前 |
 Nils Anders Danielsson
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 年之前 |
|
Nils Anders Danielsson
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
16 年之前 |
 ulfn
|
f7db0ca658
working coverage checker
|
17 年之前 |
|
ulfn
|
e8eb83662d
renamed things called | in some examples
|
17 年之前 |
|
ulfn
|
c540fc0781
minor changes to examples
|
17 年之前 |
|
ulfn
|
69b06f7cc7
continuation semantics for a subset of Landin's ISWIM language
|
17 年之前 |
