Projet — Chameau, un interprète de Caml Light¶

Projet · OCaml · ocamllex, Menhir, dune

Architecture¶

Fichier	Rôle
`lexer.mll`	analyse lexicale (`ocamllex`) : texte → jetons
`parser.mly`	analyse syntaxique (Menhir) : jetons → terme « nu »
`commonterm.ml`	opérateurs communs aux deux représentations
`nakedterm.ml`	termes avec des variables nommées
`term.ml`	termes avec des indices de de Bruijn, affichage, réduction, typage
`main.ml`	boucle d'interaction
`tests/test_suite.ml`	suite de tests (`dune test`)