From 0a06ea1280b5fe46c004ddf65b6dd7fb595402c2 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Sun, 23 Apr 2023 17:33:32 +0200
Subject: [PATCH] fix qtys on nat.eqb

---
 examples/nat.quox | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/nat.quox b/examples/nat.quox
index 36ce76c..37acff0 100644
--- a/examples/nat.quox
+++ b/examples/nat.quox
@@ -83,7 +83,7 @@ def eq? : DecEq ℕ =
       }
   };
 
-def eqb : 1.ℕ → 1.ℕ → Bool = λ m n ⇒ dec.bool (m ≡ n : ℕ) (eq? m n);
+def eqb : ω.ℕ → ω.ℕ → Bool = λ m n ⇒ dec.bool (m ≡ n : ℕ) (eq? m n);
 
 
 def0 plus-zero : 0.(m : ℕ) → m ≡ plus m 0 : ℕ =