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 c

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!