Lambda Calc, Peano Axioms, & Recreating Maths

The new version: Math-bootstrap script pic

Thank you! What would you recommend for division? I'd guess I would just floor the result and provide mod.

I like to watch Ben Eater's building a computer on a breadboard series, and MAN does division seem complicated.


On another note, I just accidentally found a way to rearrange the palette.