Araq
|
bcd8053b23
fixes #2585
|
9 years ago |
Araq
|
5d63ecb3a4
implemented a[^1] notation
|
9 years ago |
Araq
|
bf90b9c833
fixes #2346
|
9 years ago |
Araq
|
d4bca58b7d
fixes #1809; implements overloading based on 'var T'
|
9 years ago |
Araq
|
fe30ec83e2
nimsuggest improvements
|
10 years ago |
Araq
|
2781fea9e2
Nimrod renamed to Nim
|
10 years ago |
Araq
|
d0438540d0
implemented builtin noncopying slice
|
10 years ago |
Araq
|
346443d1b5
case consistency improvements
|
11 years ago |
Araq
|
438703f59e
case consistency: next steps
|
11 years ago |
Araq
|
92b8fac94a
case consistency part 4
|
11 years ago |
Araq
|
23ef565a3c
implemented large parts of the 'not nil' checking
|
11 years ago |
Araq
|
5b0d8246f7
make some tests green
|
11 years ago |
Araq
|
7171ae62cb
constraint now part of the parameter symbol and not of the type
|
12 years ago |
Araq
|
b64eeeb430
term rewriting improvements
|
12 years ago |
Araq
|
355ae07b8f
activated tests for tr macros
|
12 years ago |
Araq
|
30c00aba07
bugfixes and improvements for term rewriting macros
|
12 years ago |
Araq
|
af7c92c003
term rewriting macros fully implemented; still buggy
|
12 years ago |