diff options
| author | Marvin Borner | 2023-04-08 17:14:54 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-04-08 17:14:54 +0200 |
| commit | 67b6713b221a25763d1c08e12e8b715d432db5f8 (patch) | |
| tree | 40843861e9aaacc47beba57479c0b78bcfea8f08 /std/Number/Unary.bruijn | |
| parent | 5e5069c5228f2cd39de38ace9134f57293cc7e5d (diff) | |
Various improvements to standard library docs
Diffstat (limited to 'std/Number/Unary.bruijn')
| -rw-r--r-- | std/Number/Unary.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Number/Unary.bruijn b/std/Number/Unary.bruijn index edc9dcd..33127f4 100644 --- a/std/Number/Unary.bruijn +++ b/std/Number/Unary.bruijn @@ -86,7 +86,7 @@ les? \gre? ⧗ Unary → Unary → Boolean :test ((+2u) <? (+2u)) (false) :test ((+3u) <? (+2u)) (false) -# returns true if two balanced ternary numbers are equal +# returns true if two unary numbers are equal eq? [[(0 ≥? 1) ⋀? (0 ≤? 1)]] ⧗ Unary → Unary → Boolean …=?… eq? @@ -95,7 +95,7 @@ eq? [[(0 ≥? 1) ⋀? (0 ≤? 1)]] ⧗ Unary → Unary → Boolean :test ((+1u) =? (+1u)) (true) :test ((+42u) =? (+42u)) (true) -# returns true if two balanced ternary numbers are not equal +# returns true if two unary numbers are not equal not-eq? not! ∘∘ eq? ⧗ Unary → Unary → Boolean …≠?… not-eq? |