Hacker News new | ask | show | jobs
by Locke1689 5166 days ago
Also, Coq is an OCaml derivative and Agda was influenced by Coq.