From a19a841b40528501d2b76191d994771e64b00723 Mon Sep 17 00:00:00 2001
From: "rodrigo.raya@epfl.ch" <rodrigo.raya@epfl.ch>
Date: Tue, 21 Sep 2021 19:15:59 +0200
Subject: [PATCH] amy_specification.md

---
 amy_specification.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 amy_specification.md

diff --git a/amy_specification.md b/amy_specification.md
new file mode 100644
index 0000000..820f05f
--- /dev/null
+++ b/amy_specification.md
@@ -0,0 +1,3 @@
+===== The Amy Specification =====
+
+You can access the Amy specification document [[http://lara.epfl.ch/~gschmid/clp20/amy-spec.pdf|here]].
\ No newline at end of file
-- 
GitLab