 Araq
|
fd532b6dab
fixes #206
|
10 years ago |
|
Araq
|
2781fea9e2
Nimrod renamed to Nim
|
10 years ago |
|
Araq
|
3c818c89be
fixes #1285
|
10 years ago |
|
Araq
|
73c6efdf66
'nil' as a statement is deprecated, use an empty 'discard' instead
|
10 years ago |
|
Araq
|
92b8fac94a
case consistency part 4
|
11 years ago |
|
Araq
|
9de3bc8ef6
improvements for TR macros
|
11 years ago |
|
Araq
|
c98696d742
lazy paths for Babel support
|
12 years ago |
|
Araq
|
7171ae62cb
constraint now part of the parameter symbol and not of the type
|
12 years ago |
|
Araq
|
92b449562e
tr macros now documented
|
12 years ago |
|
Araq
|
d3d9d32c35
first steps to deprecate 'nil' statement
|
12 years ago |
|
Araq
|
46e9ff6139
tmatrix.nim works now
|
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
|
6753d36854
further improvements for term rewriting macros
|
12 years ago |
|
Araq
|
af7c92c003
term rewriting macros fully implemented; still buggy
|
12 years ago |
|
Araq
|
1d14cb1ad8
next steps towards term rewriting macros; simple examples work
|
12 years ago |
|
Araq
|
1786e30991
first steps towards term rewriting macros
|
12 years ago |
