diff options
Diffstat (limited to 'fun/church.txt')
| -rw-r--r-- | fun/church.txt | 26 |
1 files changed, 26 insertions, 0 deletions
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 +🦜🦢🦚🐦 +🦜🦢🐧🐦 + +... |