 Nils Anders Danielsson
|
683294dfbe
Updated test suite to avoid clashes with new reserved words (∀, λ and →).
|
vor 16 Jahren |
 ulfn
|
932d196be4
Module name file name correspondence is now enforce also for the main module
|
vor 17 Jahren |
|
ulfn
|
28dd567351
removed special lexing rules for : (x:A is now a valid name)
|
vor 18 Jahren |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
vor 18 Jahren |
|
ulfn
|
4635fa607a
Introductory examples
|
vor 19 Jahren |
