diff options
Diffstat (limited to 'std/Number/Unary.bruijn')
| -rw-r--r-- | std/Number/Unary.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Number/Unary.bruijn b/std/Number/Unary.bruijn index 96fef9a..c372983 100644 --- a/std/Number/Unary.bruijn +++ b/std/Number/Unary.bruijn @@ -18,7 +18,7 @@ uid [[[extract (2 inc init)]]] ⧗ Unary → Unary :test (uid (+5u)) ((+5u)) # returns true if a unary number is zero -zero? [0 [(+0u)] true] ⧗ Unary → Boolean +zero? [0 [false] true] ⧗ Unary → Boolean =?‣ zero? |