From 6e0467b4ec39cf813236a6ca7a65b3dfabce95f8 Mon Sep 17 00:00:00 2001
From: Vertabrae <carsickoclothings@gmail.com>
Date: Mon, 8 Jul 2024 16:16:10 +0200
Subject: [PATCH] Initial commit

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

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..6a8b323
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# minus-two2
+