From 95a6be8c1cd2a2ef75596f9c8ed5f4bb03ca76fe Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 28 Feb 2023 01:20:46 +0100
Subject: Additions to std/

---
 std/Float.bruijn | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'std/Float.bruijn')

diff --git a/std/Float.bruijn b/std/Float.bruijn
index d3fce4e..3d88d6e 100644
--- a/std/Float.bruijn
+++ b/std/Float.bruijn
@@ -4,13 +4,12 @@
 
 :import std/Combinator .
 :import std/Number .
-:import std/List .
 :import std/Pair P
 
 # generates a float from a normal balanced ternary number
-float! \(P.:) (+0)
+float! \(P.…:…) (+0)
 
 # adds two floating numbers
 # TODO: Carry support
 # - needed: mod, div (?) -> ternary carry != decimal carry
-add P.zip-with (+)
+add P.zip-with …+…
-- 
cgit v1.2.3