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/Church.bruijn | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'std/Church.bruijn')

diff --git a/std/Church.bruijn b/std/Church.bruijn
index bba2784..6277dcc 100644
--- a/std/Church.bruijn
+++ b/std/Church.bruijn
@@ -4,16 +4,16 @@ zero [[0]]
 
 inc [[[1 (2 1 0)]]]
 
-++( inc
+++‣ inc
 
 add [[[[3 1 (2 1 0)]]]]
 
-(+) add
+…+… add
 
 mul [[[2 (1 0)]]]
 
-(*) mul
+…*… mul
 
 exp [[0 1]]
 
-(^) exp
+…^… exp
-- 
cgit v1.2.3