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 /samples | |
| parent | 4f8619571a4ec823b020baf9bc11f76fb706897e (diff) | |
Documentation
Diffstat (limited to 'samples')
| -rw-r--r-- | samples/add.birb | 9 | ||||
| -rw-r--r-- | samples/biology.birb | 2 | ||||
| -rw-r--r-- | samples/inc0.birb | 2 | ||||
| -rw-r--r-- | samples/inc1.birb | 2 | ||||
| -rw-r--r-- | samples/incn.birb | 5 | ||||
| -rw-r--r-- | samples/list.birb | 8 |
6 files changed, 24 insertions, 4 deletions
diff --git a/samples/add.birb b/samples/add.birb index fc11d4f..058f92f 100644 --- a/samples/add.birb +++ b/samples/add.birb @@ -1,7 +1,8 @@ - - -🐦🐦🐦🐧🦢🐥🦢🕊️ add ... - 🐦🐧🐦🐧🕊️ wrapper for two +🐦🐦🕊️🐧🕊️ wrapper for `1+(++0)` + 🐧🐦🐧🕊️🐧🕊️ wrapper for `add ++(++0)` + 🪽🐧 add 🦢🐧 inc 🦢🐧 inc 🐥🐦 zero + 🦢🐧 inc + 🐥🐦 zero diff --git a/samples/biology.birb b/samples/biology.birb index fa2259a..b71abc8 100644 --- a/samples/biology.birb +++ b/samples/biology.birb @@ -1,2 +1,4 @@ construct list +🐧🦩 + 🦩🦚 diff --git a/samples/inc0.birb b/samples/inc0.birb index d9d227c..8245721 100644 --- a/samples/inc0.birb +++ b/samples/inc0.birb @@ -1,6 +1,8 @@ +decoded: (s b) (k i) -> ((i ((b ((i s) b)) k)) i) +encoded: 🐦🐧🐦 wrapper 🦢🐧 inc 🐥🐦 zero diff --git a/samples/inc1.birb b/samples/inc1.birb index 656250c..44683c5 100644 --- a/samples/inc1.birb +++ b/samples/inc1.birb @@ -1,7 +1,9 @@ +decoded: b (s b) (s b) (k i) -> (i ((i ((b ((d s) b)) s)) b)) (k i) -> ((i ((b ((i ((b ((d s) b)) s)) b)) k)) i) +encoded: 🐦🐧🐦🐧🕊️ wrapper 🦢🐧 inc 🦢🐧 inc diff --git a/samples/incn.birb b/samples/incn.birb new file mode 100644 index 0000000..a8c5c78 --- /dev/null +++ b/samples/incn.birb @@ -0,0 +1,5 @@ +TODO: Find more general way of incrementing +🐦🐧🐦🐧 wrapper + 🐦🦢🐧 inc + 🦢🐧 inc + 🐥🐦 zero diff --git a/samples/list.birb b/samples/list.birb new file mode 100644 index 0000000..04ec539 --- /dev/null +++ b/samples/list.birb @@ -0,0 +1,8 @@ +Mogensen-Scott encoding + +🦩🦩🦩🦩🦩🦩 list with 5 elements + 🦉 + 🦜 + 🦅 + 🪽 + 🦚 |