OCaml

.ml Types de Fichiers

Définition

Code source OCaml, un langage multi-paradigme avec un système de types puissant. Utilisé en vérification formelle, compilateurs et systèmes financiers.