News for hackers. Stuff that matters.

A comment on What the interns have wrought, 2020 edition. Parent comment

Re:What the interns have wrought, 2020 edition by johnisgood on Tuesday August 25, 2020 @07:34PM (#24277504)
Frama-C, Why3, and Coq are written in OCaml. :)
[ Parent | on HN ]

There are no comments on this comment yet.