Commit History

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