commit db8f1f0e506f4932109ebdcc42623cddced2c3ff
Author: jamesscott <jamesscott@noreply.openstreetbrowser.org>
Date:   Fri May 26 14:06:50 2023 +0200

    Initial commit

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..a7f34d8
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+# ---> Agda
+*.agdai
+MAlonzo/**
+
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..afc8cd4
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# acube
+