Explore projects
-
OCaml implementation of a typer for System FOmega (MPRI 2.4 project).
archived 0Updated -
-
-
-
ZRun modified to use the Fix fixpoint library. https://github.com/marcpouzet/zrun https://gitlab.inria.fr/fpottier/fix
Updated