For 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 i

For 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.