 Hans Roitzsch
|
597fdbae11
work until chapter 16
|
7 달 전 |
 Zelphir Kaltstahl
|
be142cc9d7
add 17th commandment
|
11 달 전 |
|
Zelphir Kaltstahl
|
0f1055cae0
add not remembering procedure example
|
11 달 전 |
|
Zelphir Kaltstahl
|
91fbb00a16
add 16th commandment
|
11 달 전 |
|
Zelphir Kaltstahl
|
e4d5c67183
example for local binding set!
|
11 달 전 |
|
Zelphir Kaltstahl
|
bed71a08ab
add warning and export
|
11 달 전 |
|
Zelphir Kaltstahl
|
43c6acf742
start with chapter 15
|
11 달 전 |
|
Zelphir Kaltstahl
|
55bf22d6f3
fix explanation and add more explanation
|
11 달 전 |
|
Zelphir Kaltstahl
|
55009a6e37
remove Y and add description text
|
1 년 전 |
|
Zelphir Kaltstahl
|
09ef41c5b1
add description for atom?
|
1 년 전 |
|
Zelphir Kaltstahl
|
797271c82d
add description for leftmost
|
1 년 전 |
|
Zelphir Kaltstahl
|
d10439ab41
remove not needed Y
|
1 년 전 |
|
Zelphir Kaltstahl
|
bd5b955dc0
remove not needed prerequisites
|
1 년 전 |
|
Zelphir Kaltstahl
|
98eb9afbac
prepare chapter 15 notes
|
1 년 전 |
|
Zelphir Kaltstahl
|
ca5bf06e24
add export
|
1 년 전 |
|
Zelphir Kaltstahl
|
bc0cb59e00
remove not needed all prerequisites
|
1 년 전 |
|
Zelphir Kaltstahl
|
b253b13c55
add more notes about the chapter in general
|
1 년 전 |
|
Zelphir Kaltstahl
|
2fd2333714
add macro note
|
1 년 전 |
|
Zelphir Kaltstahl
|
bdcdf2882b
add try procedure
|
1 년 전 |
|
Zelphir Kaltstahl
|
14300dbdaf
add heading ids and more explanation
|
1 년 전 |
|
Zelphir Kaltstahl
|
b9ae202d80
add another explanation paragraph
|
1 년 전 |
|
Zelphir Kaltstahl
|
e526628dfe
add one scenario in which continuations are needed
|
1 년 전 |
|
Zelphir Kaltstahl
|
fd07746c32
add more ways
|
1 년 전 |
|
Zelphir Kaltstahl
|
1e907905d8
explain idea more
|
1 년 전 |
|
Zelphir Kaltstahl
|
4ffde3b8b2
update date
|
1 년 전 |
|
Zelphir Kaltstahl
|
e5f0feee65
make more progress
|
1 년 전 |
|
Zelphir Kaltstahl
|
ab363d72ad
Add more details to commandments
|
1 년 전 |
|
Zelphir Kaltstahl
|
19d352b69e
wip commit
|
1 년 전 |
|
Zelphir Kaltstahl
|
1764d48028
add additional example and change lambda -> λ
|
1 년 전 |
|
Zelphir Kaltstahl
|
7705db7b40
add custom ids
|
1 년 전 |
