diff options
| author | Marvin Borner | 2024-10-27 01:00:38 +0200 |
|---|---|---|
| committer | Marvin Borner | 2024-10-27 01:00:38 +0200 |
| commit | c6e39268be197a4eaccc0187271764a646017715 (patch) | |
| tree | 7d15737e481be8a247f657121e9926938a6fdbf2 /std/Number/Unary.bruijn | |
| parent | 10e46668751765c2981a07da3bc9411093db2bee (diff) | |
Refactored comparisons and sets
Diffstat (limited to 'std/Number/Unary.bruijn')
| -rw-r--r-- | std/Number/Unary.bruijn | 2 |
1 files changed, 2 insertions, 0 deletions
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! # # ============================================================================ # |