News for hackers. Stuff that matters.

A comment on Let's make a Teeny Tiny compiler. Parent comment

Re:Let's make a Teeny Tiny compiler by kragen on Monday June 08, 2020 @07:22AM (#23455589)
I don't know enough about the subject to offer confident recommendations. I really liked EOPL but it's not trying to be logically rigorous in the way CompCert is.
[ Parent | on HN ]

There are no comments on this comment yet.