3 ms·Also, Coq is an OCaml derivative and Agda was influenced by Coq.by Locke1689 14y agoAlso, Coq is an OCaml derivative and Agda was influenced by Coq.