commit 8bd3e255a05697730ea4e2e385c4aa42d25d6b76
Author: pingu <pingu@noreply.localhost>
Date:   Sat Feb 7 20:49:50 2026 +0000

    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..49d3900
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Heated-Gaming
+
+Playing the HoTT Game from https://thehottgameguide.readthedocs.io/en/latest/index.html
\ No newline at end of file