Commit History

Автор SHA1 Съобщение Дата
  Hans Roitzsch 597fdbae11 work until chapter 16 преди 10 месеца
  Zelphir Kaltstahl be142cc9d7 add 17th commandment преди 1 година
  Zelphir Kaltstahl 0f1055cae0 add not remembering procedure example преди 1 година
  Zelphir Kaltstahl 91fbb00a16 add 16th commandment преди 1 година
  Zelphir Kaltstahl e4d5c67183 example for local binding set! преди 1 година
  Zelphir Kaltstahl bed71a08ab add warning and export преди 1 година
  Zelphir Kaltstahl 43c6acf742 start with chapter 15 преди 1 година
  Zelphir Kaltstahl 55bf22d6f3 fix explanation and add more explanation преди 1 година
  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 година