From c440f10c78171475c611c1ef978bef0315e0d403 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Fri, 10 Dec 2021 17:41:34 +0000
Subject: Initial commit.

---
 .gitignore | 1 +
 README.org | 3 +++
 2 files changed, 4 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 README.org

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..171a389
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.agdai
diff --git a/README.org b/README.org
new file mode 100644
index 0000000..0d581f6
--- /dev/null
+++ b/README.org
@@ -0,0 +1,3 @@
+* Semantics of Helium instructions in Agda
+
+Semantics of the [[https://www.arm.com/why-arm/technologies/helium][M-Profile Vector Extension (MVE)]] written in Agda.
-- 
cgit v1.2.3