Y
Hacker News
new
|
ask
|
show
|
jobs
by
z1mm32m4n
2894 days ago
This reminds me of a homework assignment in one of my freshman year classes which was to implement various church encodings and helper functions in the lambda calculus using only LaTeX macros!