Zelphir Kaltstahl
|
0d795448ce
add more custom ids
|
1 year ago |
Zelphir Kaltstahl
|
755cc5b54a
update date
|
1 year ago |
Zelphir Kaltstahl
|
14a174e6e8
add step to move intersect into intersectall
|
1 year ago |
Zelphir Kaltstahl
|
6b08571e0d
add notes about other languages
|
1 year ago |
Zelphir Kaltstahl
|
f1e696fdf7
write more about using alternative concepts
|
1 year ago |
Zelphir Kaltstahl
|
b3dcecc9d4
update export
|
1 year ago |
Zelphir Kaltstahl
|
a85303701a
add note about continuations
|
1 year ago |
Zelphir Kaltstahl
|
a4e6989976
improve noweb export and add notes about continuations
|
1 year ago |