From cf76a2e33b708dd2bec72a782af214cbd792bb58 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 13 Aug 2022 10:53:23 +0200
Subject: Minor improvements

---
 std/Church.bruijn | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'std/Church.bruijn')

diff --git a/std/Church.bruijn b/std/Church.bruijn
index 412938a..bba2784 100644
--- a/std/Church.bruijn
+++ b/std/Church.bruijn
@@ -1,7 +1,19 @@
 # MIT License, Copyright (c) 2022 Marvin Borner
 
 zero [[0]]
-succ [[[1 (2 1 0)]]]
+
+inc [[[1 (2 1 0)]]]
+
+++( inc
+
 add [[[[3 1 (2 1 0)]]]]
+
+(+) add
+
 mul [[[2 (1 0)]]]
+
+(*) mul
+
 exp [[0 1]]
+
+(^) exp
-- 
cgit v1.2.3