Initial commit

.gitignore

@@ -0,0 +1,22 @@
+# ---> OCaml
+*.annot
+*.cmo
+*.cma
+*.cmi
+*.a
+*.o
+*.cmx
+*.cmxs
+*.cmxa
+
+# ocamlbuild working directory
+_build/
+
+# ocamlbuild targets
+*.byte
+*.native
+
+# oasis generated files
+setup.data
+setup.log
+

README.md

@@ -0,0 +1,4 @@
+# mpri-funcprog-project
+
+MPRI Functional Programming project, whose subject can be found
+[here](https://gitlab.inria.fr/fpottier/mpri-2.4-public/blob/master/project/sujet.pdf)