Commit History

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