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/Ternary.bruijn | 2 ++ 1 file changed, 2 insertions(+) (limited to 'std/Number/Ternary.bruijn') 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! # # ============================================================================ # -- cgit v1.2.3