3 ms·

> Here is a PDF showing its entire lambda term, which is 42 pages long: Elsewhere, Douglas Adams smiles.

• zentr1c 4y ago
  This
  • lisper 4y ago
    Hm, I wonder if the authors fine-tuned the feature set (and font size!) to achieve this outcome :-)
    • zentr1c 4y ago
      did he know the question to finetune too?
• somewhereoutth 4y ago
  Ah but this is where it becomes interesting! Because we can then guage how much work this abstraction is doing for us - and indeed whether or not it might stray from the 'one true path' (whatever that might be)