diff options
author | Marvin Borner | 2024-03-13 15:22:05 +0100 |
---|---|---|
committer | Marvin Borner | 2024-03-13 15:22:05 +0100 |
commit | 004f853f260d321753af32318ecdeb2c585af7b0 (patch) | |
tree | 9910e17715c0a94325d3e79014cb5b5368af46a2 /std/Number/Unary.bruijn | |
parent | 7fc946443adcef9224a3c672b5929a93489c8c93 (diff) |
Better string comparison using prefixed spaceship operator
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de>
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 81af007..5041614 100644 --- a/std/Number/Unary.bruijn +++ b/std/Number/Unary.bruijn @@ -136,6 +136,8 @@ compare compare-case (+0) (+1) (-1) ⧗ Unary → Unary → Number …<=>… compare +<=>‣ &compare + # muls two unary numbers mul …∘… ⧗ Unary → Unary → Unary |