 Nils Anders Danielsson
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 年之前 |
 Nils Anders Danielsson
|
c5b859575b
Horizontal tab characters are no longer treated as white space.
|
15 年之前 |
 ulfn
|
dfd0dc1e98
removed type inference for lambdas (preparing for things to come)
|
16 年之前 |
|
ulfn
|
bbd2eeb6ed
changed name of checking disabling flags
|
17 年之前 |
|
ulfn
|
49dfc7c291
throw error when termination checking fails on top-level (batch mode only)
|
17 年之前 |
|
ulfn
|
e0f736e024
white space
|
17 年之前 |
|
ulfn
|
deae83cae1
fixed bug arising from with-functions having the right module
|
17 年之前 |
|
ulfn
|
c540fc0781
minor changes to examples
|
17 年之前 |
|
ulfn
|
28dd567351
removed special lexing rules for : (x:A is now a valid name)
|
17 年之前 |
|
ulfn
|
f749484052
minor fixes to do with hidden lambdas
|
18 年之前 |
|
ulfn
|
9485444ae0
major syntax change: comma is now a valid identifier char (public, renaming, using and hiding are keywords)
|
18 年之前 |
|
ulfn
|
42bc39bfe2
removed pattern dependency tricks from unification
|
18 年之前 |
|
ulfn
|
a20e402b31
fixes in examples
|
18 年之前 |
|
ulfn
|
c41a57496f
minor
|
18 年之前 |
|
ulfn
|
02dfe531ba
cleaner ac rewriting
|
18 年之前 |
|
ulfn
|
9085ce2857
added ac-rewriting to make test
|
18 年之前 |
|
ulfn
|
ea4930ab12
ac rewriting (internal) tactic
|
18 年之前 |
