[smitty1e]

> Here is a PDF showing its entire lambda term, which is 42 pages long:

Elsewhere, Douglas Adams smiles.

[somewhereoutth]

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)

[zentr1c]

This

[lisper]

Hm, I wonder if the authors fine-tuned the feature set (and font size!) to achieve this outcome :-)

[zentr1c]

did he know the question to finetune too?