Historia zmian

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