From a25ed8a75d036de252cfe74b5fa0788215194b41 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 2 May 2024 21:57:58 +0200
Subject: More math

MAATHTHAHHAHA
---
 std/Number/Conversion.bruijn | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/std/Number/Conversion.bruijn b/std/Number/Conversion.bruijn
index 52f3c9e..01c7e9f 100644
--- a/std/Number/Conversion.bruijn
+++ b/std/Number/Conversion.bruijn
@@ -14,6 +14,8 @@ unary→ternary [0 T.inc (+0t)] ⧗ Unary → Ternary
 :test (¹³(+0u)) ((+0t))
 :test (¹³(+2u)) ((+2t))
 
+binary→unary [[0 (+0u) [U.inc (2 0)] 1]] (U.mul (+2u)) ⧗ Binary → Unary
+
 # converts ternary numbers to unary
 ternary→unary [T.apply 0 U.inc (+0u)] ⧗ Ternary → Unary
 
-- 
cgit v1.2.3