From 627afd9bb206765699f3420a6ab0847e636550b4 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 29 Aug 2022 16:45:45 +0200
Subject: Started mixfix chaining

---
 std/Math.bruijn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'std/Math.bruijn')

diff --git a/std/Math.bruijn b/std/Math.bruijn
index 47b0267..db97d3c 100644
--- a/std/Math.bruijn
+++ b/std/Math.bruijn
@@ -17,13 +17,13 @@ gcd z [[[(1 =? 0) case-eq ((1 >? 0) case-gre case-les)]]]
 # power function
 pow [(!!) (iterate ((*) 0) (+1))]
 
-(**) pow
+…**… pow
 
 :test (((+2) ** (+3)) =? ((+8))) (true)
 
 # factorial function
 # fac Z [[(0 <? (+2)) (+1) (0 * (1 --0))]]
-fac [Π (take 0 (iterate ++( (+1)))]
+fac [Π (take 0 (iterate ++‣ (+1)))]
 
 :test ((fac (+3)) =? (+6)) (true)
 
-- 
cgit v1.2.3