News for hackers. Stuff that matters.

A comment on OCaml on Baremetal Shakti RISC-V Processor. Parent comment

Re:OCaml on Baremetal Shakti RISC-V Processor by monocasa on Friday March 29, 2019 @11:53AM (#19522717)
A lot of thereom proving is done in Isabelle/HOL, a DSL in OCaml.
[ Parent | on HN ]
Re:OCaml on Baremetal Shakti RISC-V Processor by fspeech on Friday March 29, 2019 @12:11PM (#19522899)
Hol is in sml. HolLight is OCaml.
[ Parent | on HN ]