diff options
| author | Marvin Borner | 2025-01-23 10:38:17 +0100 |
|---|---|---|
| committer | Marvin Borner | 2025-01-23 10:38:17 +0100 |
| commit | 4c94373c4cd0e10dacc088fcdd15caecf8f107c8 (patch) | |
| tree | c0df40c8fc034fda433949993e67de43248317c0 | |
| parent | 8ddea6d934c56602efd6032cb1a6ab7b874c42fd (diff) | |
Whoops!
| -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? |