From b322bac40242cf84541012da508834b84e6cea85 Mon Sep 17 00:00:00 2001
From: pingu <nor@acorneroftheweb.com>
Date: Mon, 22 Dec 2025 21:31:51 +0100
Subject: [PATCH] Add new todo

---
 mambo.agda | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mambo.agda b/mambo.agda
index 7dddb7b..1cd9f14 100644
--- a/mambo.agda
+++ b/mambo.agda
@@ -123,3 +123,4 @@ data _⊢_ : Context → Formula → Type where
   ¬ₑ : Γ ⊢ X → Γ ⊢ ∼ X → Γ ⊢ ⊥
   □ₑ : Γ ⊢ □ X → X ∈ Δ → Γ ++ boxed Δ ⊢ Y
   □ᵢ : X ∈ Δ → Γ ++ boxed Δ ⊢ □ X
+  -- TODO: Maybe make it KT45