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 fspeech on Friday March 29, 2019 @12:11PM (#19522899)
Hol is in sml. HolLight is OCaml.
[ Parent | on HN ]

There are no comments on this comment yet.