Exploring the Peano Axioms Through Algebraic Data Types


New top story on Hacker News: Exploring the Peano Axioms Through Algebraic Data Types