News for hackers. Stuff that matters.

A comment on Hotcaml: An OCaml interpreter with watching and reloading. Parent comment

Re:Hotcaml: An OCaml interpreter with watching and reloading by junon on Thursday January 20, 2022 @05:23AM (#30007032)
Most of the verification community relies on OCaml to some extent.
[ Parent | on HN ]
Re:Hotcaml: An OCaml interpreter with watching and reloading by nextaccountic on Tuesday January 25, 2022 @11:54PM (#30081890)
Funnily enough, there is no verified OCaml implementation yet. Unlike, for instance, SML (well CakeML is a subset of SML with a verified implementation)
[ Parent | on HN ]