From 5fb4e3f91e8ba77a07c804f7a784a8a7fb1c123f Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 12 Sep 2023 00:01:00 +0200
Subject: Documentation

---
 fun/church.txt | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 fun/church.txt

(limited to 'fun/church.txt')

diff --git a/fun/church.txt b/fun/church.txt
new file mode 100644
index 0000000..4c9dd5e
--- /dev/null
+++ b/fun/church.txt
@@ -0,0 +1,26 @@
+The smallest birb code that reduces to Church numeral n:
+
+0: 2 birbs
+🐥🐦
+🦩🐥
+🦢🐥
+
+1: 2 birbs
+🦚🐦
+🐧🐦
+
+2: 3 birbs
+🦢🦚🐦
+🦢🐧🐦
+
+3: 6 birbs
+🦜🦩🕊🦢🦚🐦
+🦜🦩🕊🦢🐧🐦
+🦜🦩🦉🦢🐧🐦
+🦜🦩🪽🦢🕊🐦
+
+4: 4 birbs
+🦜🦢🦚🐦
+🦜🦢🐧🐦
+
+...
-- 
cgit v1.2.3