From c9b30f99992c98745d52807f5e45a12f6aee2c5f Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 21 Feb 2024 20:28:55 +0100 Subject: Additions for Rosetta Code --- std/Number/Conversion.bruijn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'std/Number/Conversion.bruijn') 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)) -- cgit v1.2.3