From d28604e2ebe4c58a9eb0ac2d7763b55f6c0beaea Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 26 Feb 2024 23:53:41 +0100
Subject: Fixed universal machine

---
 std/Number/Conversion.bruijn | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'std/Number/Conversion.bruijn')

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))
-- 
cgit v1.2.3