From 3f149e2807c2249487b0a1583b266859a557c694 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 6 Nov 2024 15:18:17 +0100
Subject: Minor improvements

---
 std/Number/Unary.bruijn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'std/Number/Unary.bruijn')

diff --git a/std/Number/Unary.bruijn b/std/Number/Unary.bruijn
index 96fef9a..c372983 100644
--- a/std/Number/Unary.bruijn
+++ b/std/Number/Unary.bruijn
@@ -18,7 +18,7 @@ uid [[[extract (2 inc init)]]] ⧗ Unary → Unary
 :test (uid (+5u)) ((+5u))
 
 # returns true if a unary number is zero
-zero? [0 [(+0u)] true] ⧗ Unary → Boolean
+zero? [0 [false] true] ⧗ Unary → Boolean
 
 =?‣ zero?
 
-- 
cgit v1.2.3