Anathaeum@anathaeum8/3/2023, 5:20 PM@mehbark@mehbark8/3/2023, 5:14 PMclick to β-reduce ( λ x . x x ) ( λ x . x x ) #low effort#MathML#lambda calculus#mockingbird#literal minutes from idea to execution sorry#math jokesee all