commit 8ea0250e67b226eccd199fa11d85701d91a7cfd0
Author: Théophile Bastian <contact@tobast.fr>
Date:   Tue Dec 19 13:30:32 2017 +0100

    Initial commit

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..193bdce
--- /dev/null
+++ b/.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
+
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..7845fc4
--- /dev/null
+++ b/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)