From 4c94373c4cd0e10dacc088fcdd15caecf8f107c8 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 23 Jan 2025 10:38:17 +0100
Subject: Whoops!

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

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

diff --git a/std/Generic/Number.bruijn b/std/Generic/Number.bruijn
index 08effa6..a5fab12 100644
--- a/std/Generic/Number.bruijn
+++ b/std/Generic/Number.bruijn
@@ -9,7 +9,7 @@
 :import std/Logic .
 
 # returns true if number is not zero
-not-zero? not! ∘∘ zero? ⧗ Generic → Boolean
+not-zero? not! ∘ zero? ⧗ Generic → Boolean
 
 ≠?‣ not-zero?
 
-- 
cgit v1.2.3