From c5dc5c2d811c66b47733b98a304c0f0b6cc6c947 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 21 Feb 2023 05:42:41 +0100
Subject: Standard library sync

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

(limited to 'std/Church.bruijn')

diff --git a/std/Church.bruijn b/std/Church.bruijn
index 6277dcc..9e567b0 100644
--- a/std/Church.bruijn
+++ b/std/Church.bruijn
@@ -2,6 +2,12 @@
 
 zero [[0]]
 
+zero? [0 [[[0]]] [[1]]]
+
+dec [[[2 [[0 (1 3)]] [1] [0]]]]
+
+--‣ dec
+
 inc [[[1 (2 1 0)]]]
 
 ++‣ inc
@@ -12,7 +18,7 @@ add [[[[3 1 (2 1 0)]]]]
 
 mul [[[2 (1 0)]]]
 
-…*… mul
+…⋅… mul
 
 exp [[0 1]]
 
-- 
cgit v1.2.3