Compiler for the M language of the French DGFiP

Name
Last commit
Last update
formal_semantics Loading commit data...
ir-calcul @ 8db1290a Loading commit data...
processing Loading commit data...
scripts Loading commit data...
specs Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
.gitmodules Loading commit data...
LICENSE.txt Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
dune-project Loading commit data...
mlang.opam Loading commit data...