diff options
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 |