Hacker News new | ask | show | jobs
by nickpsecurity 3454 days ago
Didnt know that about Caml. Neat. Perhaps a subset of Ocaml with formal semantics can do well, too.