Lambda Calc, Peano Axioms, & Recreating Maths – Page 3 – Math – Snap! Forum https://forum.snap.berkeley.edu/t/lambda-calc-peano-axioms-recreating-maths/15650?page=3
I tried to make all math from just 3 functions!
bh January 10, 2024, 11:05pm 62 You can’t put them all in one lambda like that