commit d184c83513899578a95e5024747dc988c370e4bd
Author: tobast <contact@tobast.fr>
Date:   Mon Jul 11 17:40:39 2016 +0200

    initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..9b1da19
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# L3-internship-report
+
+Internship report for my L3 internship at Cambridge University with Glynn Winskel.
\ No newline at end of file