News for hackers. Stuff that matters.

A comment on Exploring the Peano Axioms Through Algebraic Data Types.

Re:Exploring the Peano Axioms Through Algebraic Data Types by jeremysalwen on Monday January 14, 2019 @08:46PM (#18908235)
Would have been cool to show it in Coq as well, to make the connection to formal mathematics more clear!
[ Parent | on HN ]

There are no comments on this comment yet.