diff options
-rw-r--r-- | std/Generic/Number.bruijn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/std/Generic/Number.bruijn b/std/Generic/Number.bruijn index 08effa6..a5fab12 100644 --- a/std/Generic/Number.bruijn +++ b/std/Generic/Number.bruijn @@ -9,7 +9,7 @@ :import std/Logic . # returns true if number is not zero -not-zero? not! ∘∘ zero? ⧗ Generic → Boolean +not-zero? not! ∘ zero? ⧗ Generic → Boolean ≠?‣ not-zero? |