From 8ea0250e67b226eccd199fa11d85701d91a7cfd0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Tue, 19 Dec 2017 13:30:32 +0100
Subject: [PATCH] Initial commit

---
 .gitignore | 22 ++++++++++++++++++++++
 README.md  |  4 ++++
 2 files changed, 26 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 README.md

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)