Zelphir Kaltstahl
|
55009a6e37
remove Y and add description text
|
2 months ago |
Zelphir Kaltstahl
|
09ef41c5b1
add description for atom?
|
2 months ago |
Zelphir Kaltstahl
|
797271c82d
add description for leftmost
|
2 months ago |
Zelphir Kaltstahl
|
d10439ab41
remove not needed Y
|
2 months ago |
Zelphir Kaltstahl
|
bd5b955dc0
remove not needed prerequisites
|
2 months ago |
Zelphir Kaltstahl
|
98eb9afbac
prepare chapter 15 notes
|
2 months ago |
Zelphir Kaltstahl
|
ca5bf06e24
add export
|
2 months ago |
Zelphir Kaltstahl
|
bc0cb59e00
remove not needed all prerequisites
|
2 months ago |
Zelphir Kaltstahl
|
b253b13c55
add more notes about the chapter in general
|
2 months ago |
Zelphir Kaltstahl
|
2fd2333714
add macro note
|
2 months ago |
Zelphir Kaltstahl
|
bdcdf2882b
add try procedure
|
2 months ago |
Zelphir Kaltstahl
|
14300dbdaf
add heading ids and more explanation
|
2 months ago |
Zelphir Kaltstahl
|
b9ae202d80
add another explanation paragraph
|
2 months ago |
Zelphir Kaltstahl
|
e526628dfe
add one scenario in which continuations are needed
|
2 months ago |
Zelphir Kaltstahl
|
fd07746c32
add more ways
|
2 months ago |
Zelphir Kaltstahl
|
1e907905d8
explain idea more
|
2 months ago |
Zelphir Kaltstahl
|
4ffde3b8b2
update date
|
3 months ago |
Zelphir Kaltstahl
|
e5f0feee65
make more progress
|
3 months ago |
Zelphir Kaltstahl
|
ab363d72ad
Add more details to commandments
|
3 months ago |
Zelphir Kaltstahl
|
19d352b69e
wip commit
|
3 months ago |
Zelphir Kaltstahl
|
1764d48028
add additional example and change lambda -> λ
|
3 months ago |
Zelphir Kaltstahl
|
7705db7b40
add custom ids
|
3 months ago |
Zelphir Kaltstahl
|
63dd701072
attempt to solve rember1*
|
3 months ago |
Zelphir Kaltstahl
|
79b1236f63
export outputs
|
3 months ago |
Zelphir Kaltstahl
|
329027096a
wording
|
3 months ago |
Zelphir Kaltstahl
|
0d795448ce
add more custom ids
|
3 months ago |
Zelphir Kaltstahl
|
755cc5b54a
update date
|
3 months ago |
Zelphir Kaltstahl
|
0ea41b6216
start with chapter 14
|
3 months ago |
Zelphir Kaltstahl
|
14a174e6e8
add step to move intersect into intersectall
|
3 months ago |
Zelphir Kaltstahl
|
6b08571e0d
add notes about other languages
|
3 months ago |