Commit History

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