News for hackers. Stuff that matters.

A comment on Writing a C Compiler (2017). Parent comment

Re:Writing a C Compiler (2017) by peterfirefly on Friday June 09, 2023 @11:15AM (#36259087)
No. ML was the meta language for a theorem prover (LCF).

https://en.wikipedia.org/wiki/Logic_for_Computable_Functions

[ Parent | on HN ]

There are no comments on this comment yet.