diff options
| author | Marvin Borner | 2024-02-26 23:53:41 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-26 23:53:41 +0100 |
| commit | d28604e2ebe4c58a9eb0ac2d7763b55f6c0beaea (patch) | |
| tree | 8357d40bf25714ae763ee6df2e067ecddd0323d4 /std/Number | |
| parent | cdbb2d4a1db9c1f376915812b6121674e6ed1c25 (diff) | |
Fixed universal machine
Diffstat (limited to 'std/Number')
| -rw-r--r-- | std/Number/Conversion.bruijn | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/std/Number/Conversion.bruijn b/std/Number/Conversion.bruijn index fe7e63c..41ddf38 100644 --- a/std/Number/Conversion.bruijn +++ b/std/Number/Conversion.bruijn @@ -5,13 +5,13 @@ :import std/Number/Ternary T # converts unary numbers to ternary -unary-to-ternary [0 T.inc (+0)] ⧗ Unary → Ternary +unary→ternary [0 T.inc (+0)] ⧗ Unary → Ternary -:test (unary-to-ternary (+0u)) ((+0)) -:test (unary-to-ternary (+2u)) ((+2)) +:test (unary→ternary (+0u)) ((+0)) +:test (unary→ternary (+2u)) ((+2)) # converts ternary numbers to unary -ternary-to-unary [T.apply 0 U.inc (+0u)] ⧗ Ternary → Unary +ternary→unary [T.apply 0 U.inc (+0u)] ⧗ Ternary → Unary -:test (ternary-to-unary (+0)) ((+0u)) -:test (ternary-to-unary (+2)) ((+2u)) +:test (ternary→unary (+0)) ((+0u)) +:test (ternary→unary (+2)) ((+2u)) |