News for hackers. Stuff that matters.

A comment on A Python implementation of formal systems from the book “Gödel, Escher, Bach”. Parent comment

Re:A Python implementation of formal systems from the book “... by defined on Thursday March 30, 2017 @07:04PM (#13999699)
I definitely programmed TP 1.0 in mixed case on a TRS-80 Model II running CP/M.
[ Parent | on HN ]
Re:A Python implementation of formal systems from the book “... by ehudla on Friday March 31, 2017 @01:37AM (#14001375)
Sure. It was a style thing!
[ Parent | on HN ]