From 745147f88f400cced478dd588a2dfd7a7c2140a8 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 18 Jul 2022 01:44:38 +0200
Subject: Moved/improved standard library

and other things
---
 std/Church.bruijn | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 std/Church.bruijn

(limited to 'std/Church.bruijn')

diff --git a/std/Church.bruijn b/std/Church.bruijn
new file mode 100644
index 0000000..40807dd
--- /dev/null
+++ b/std/Church.bruijn
@@ -0,0 +1,7 @@
+# MIT License, Copyright (c) 2022 Marvin Borner
+
+church-zero [[0]]
+church-succ [[[1 (2 1 0)]]]
+church-add [[[[3 1 (2 1 0)]]]]
+church-mul [[[2 (1 0)]]]
+church-exp [[0 1]]
-- 
cgit v1.2.3