diff options
Diffstat (limited to 'std/Number/Conversion.bruijn')
| -rw-r--r-- | std/Number/Conversion.bruijn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/Number/Conversion.bruijn b/std/Number/Conversion.bruijn index c9a568f..fe7e63c 100644 --- a/std/Number/Conversion.bruijn +++ b/std/Number/Conversion.bruijn @@ -4,13 +4,13 @@ :import std/Number/Unary U :import std/Number/Ternary T -# convert unary numbers to ternary +# converts unary numbers to ternary unary-to-ternary [0 T.inc (+0)] ⧗ Unary → Ternary :test (unary-to-ternary (+0u)) ((+0)) :test (unary-to-ternary (+2u)) ((+2)) -# convert ternary numbers to unary +# converts ternary numbers to unary ternary-to-unary [T.apply 0 U.inc (+0u)] ⧗ Ternary → Unary :test (ternary-to-unary (+0)) ((+0u)) |