Re:Peano arithmetic is enough, because Peano arithmetic enc...
by btilly on Saturday June 14, 2025 @01:37PM
(#44277644)
I knew that this sort of stuff was possible, but it is fun to see it.
When it comes to bootstrapping a programming language from nothing, the two best options are Lisp and Forth. Of the two, I find Lisp easier to understand.
When it comes to bootstrapping a programming language from nothing, the two best options are Lisp and Forth. Of the two, I find Lisp easier to understand.