From 8bd3e255a05697730ea4e2e385c4aa42d25d6b76 Mon Sep 17 00:00:00 2001
From: pingu <pingu@noreply.localhost>
Date: Sat, 7 Feb 2026 20:49:50 +0000
Subject: [PATCH] Initial commit

---
 .gitignore | 4 ++++
 README.md  | 3 +++
 2 files changed, 7 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..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