diff options
| author | Marvin Borner | 2024-11-06 15:18:17 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-11-06 15:18:17 +0100 |
| commit | 3f149e2807c2249487b0a1583b266859a557c694 (patch) | |
| tree | 0873f3a309d7c37e4fcc27ce44b3bfb486cfdd79 /std/Number | |
| parent | 8dbf9ed690e0c0393a81e014e2861a93288ae42c (diff) | |
Minor improvements
Diffstat (limited to 'std/Number')
| -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? |