|
|
|
|
|
by red_admiral
1147 days ago
|
|
I thought I'd seen it all when I learnt how you could implement a conditional with function calls in lambda calculus (the point being you don't want to evaluate the branch you're not taking). But TeX, of course, manages to take that to new heights. |
|