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!