aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Number/Ternary.bruijn
diff options
context:
space:
mode:
authorMarvin Borner2024-10-27 01:00:38 +0200
committerMarvin Borner2024-10-27 01:00:38 +0200
commitc6e39268be197a4eaccc0187271764a646017715 (patch)
tree7d15737e481be8a247f657121e9926938a6fdbf2 /std/Number/Ternary.bruijn
parent10e46668751765c2981a07da3bc9411093db2bee (diff)
Refactored comparisons and sets
Diffstat (limited to 'std/Number/Ternary.bruijn')
-rw-r--r--std/Number/Ternary.bruijn2
1 files changed, 2 insertions, 0 deletions
diff --git a/std/Number/Ternary.bruijn b/std/Number/Ternary.bruijn
index 5392b63..e00bbc5 100644
--- a/std/Number/Ternary.bruijn
+++ b/std/Number/Ternary.bruijn
@@ -291,6 +291,8 @@ gt? positive? ∘∘ sub ⧗ Number → Number → Boolean
compare-case [[[[[go (1 - 0)]]]]] ⧗ a → b → c → Number → Number → d
go [=?0 5 (>?0 4 3)]
+<?>‣ &compare-case
+
# ============================================================================ #
# most relevant functions are defined - we can now derive from Generic/Number! #
# ============================================================================ #