Skip to content

Commit

Permalink
Whoops!
Browse files Browse the repository at this point in the history
  • Loading branch information
@marvinborner
marvinborner committed Jan 23, 2025
1 parent 8ddea6d commit 4c94373
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion std/Generic/Number.bruijn
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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?

Expand Down

0 comments on commit 4c94373

Please sign in to comment.