From c6e39268be197a4eaccc0187271764a646017715 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 27 Oct 2024 01:00:38 +0200
Subject: Refactored comparisons and sets

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

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

diff --git a/std/Number/Unary.bruijn b/std/Number/Unary.bruijn
index 214bfb9..96fef9a 100644
--- a/std/Number/Unary.bruijn
+++ b/std/Number/Unary.bruijn
@@ -103,6 +103,8 @@ eq? [[=?(1 - 0) ⋀? =?(0 - 1)]] ⧗ Unary → Unary → Boolean
 compare-case [[[[[go (1 - 0) (0 - 1)]]]]] ⧗ a → b → c → Unary → Unary → d
 	go [[=?0 (=?1 6 5) 4]]
 
+<?>‣ &compare-case
+
 # ============================================================================ #
 # most relevant functions are defined - we can now derive from Generic/Number! #
 # ============================================================================ #
-- 
cgit v1.2.3