diff options
| author | Marvin Borner | 2023-09-12 00:01:00 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-09-12 00:01:25 +0200 |
| commit | 5fb4e3f91e8ba77a07c804f7a784a8a7fb1c123f (patch) | |
| tree | 643aea5387f2901f3e45357d36fbb5cc15b6e679 /fun | |
| parent | 4f8619571a4ec823b020baf9bc11f76fb706897e (diff) | |
Documentation
Diffstat (limited to 'fun')
| -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 +🦜🦢🦚🐦 +🦜🦢🐧🐦 + +... |