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 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 ]

There are no comments on this comment yet.