 ulfn
|
6d2a19e2bc
updated examples to new mutual style (some still use old mutual blocks though)
|
13 years ago |
 james
|
d25121eee9
declare-before-use mutual definitions (AIM XIV)
|
13 years ago |
 Nils Anders Danielsson
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
16 years ago |
 ulfn
|
f7db0ca658
working coverage checker
|
17 years ago |
|
ulfn
|
a64e24d7f9
report error on non-existing names in fixity declarations
|
17 years ago |
|
ulfn
|
71f0b63386
example: type checker for simply typed lambda calculus
|
18 years ago |
