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