2 ms·
Well, Coq is written in OCaml after all, so my point applies here.
by xvilka 8y ago
Well, Coq is written in OCaml after all, so my point applies here.
- archgoon 8y agoFor those curious, here are the languages used in the projects bigloo - written in C and scheme hop - js and scheme pharo - small talk and C Coq - written in ocaml It appears that Inria does not exclusively use ocaml for their projects.