A CS assignment in which students implement lambda calculus in LaTeX.