Created
December 1, 2021 05:58
-
-
Save riseOfCurse/8e34372acc1865485021592b978a3552 to your computer and use it in GitHub Desktop.
Decimal addition for the Thue programming language
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| _+_::=<+|+> | |
| 0<+::=<+0? | |
| 1<+::=<+1? | |
| 2<+::=<+2? | |
| 3<+::=<+3? | |
| 4<+::=<+4? | |
| 5<+::=<+5? | |
| 6<+::=<+6? | |
| 7<+::=<+7? | |
| 8<+::=<+8? | |
| 9<+::=<+9? | |
| +>0::=0?+> | |
| +>1::=1?+> | |
| +>2::=2?+> | |
| +>3::=3?+> | |
| +>4::=4?+> | |
| +>5::=5?+> | |
| +>6::=6?+> | |
| +>7::=7?+> | |
| +>8::=8?+> | |
| +>9::=9?+> | |
| _<+::=_ | |
| +>_::=<@0C_ | |
| 0?<@::=<?0@ | |
| 1?<@::=<?1@ | |
| 2?<@::=<?2@ | |
| 3?<@::=<?3@ | |
| 4?<@::=<?4@ | |
| 5?<@::=<?5@ | |
| 6?<@::=<?6@ | |
| 7?<@::=<?7@ | |
| 8?<@::=<?8@ | |
| 9?<@::=<?9@ | |
| |<?::=<@| | |
| 0?<?::=<?0? | |
| 1?<?::=<?1? | |
| 2?<?::=<?2? | |
| 3?<?::=<?3? | |
| 4?<?::=<?4? | |
| 5?<?::=<?5? | |
| 6?<?::=<?6? | |
| 7?<?::=<?7? | |
| 8?<?::=<?8? | |
| 9?<?::=<?9? | |
| _<?::=_ | |
| 0@0?::=0?0@ | |
| 0@1?::=1?0@ | |
| 0@2?::=2?0@ | |
| 0@3?::=3?0@ | |
| 0@4?::=4?0@ | |
| 0@5?::=5?0@ | |
| 0@6?::=6?0@ | |
| 0@7?::=7?0@ | |
| 0@8?::=8?0@ | |
| 0@9?::=9?0@ | |
| 1@0?::=0?1@ | |
| 1@1?::=1?1@ | |
| 1@2?::=2?1@ | |
| 1@3?::=3?1@ | |
| 1@4?::=4?1@ | |
| 1@5?::=5?1@ | |
| 1@6?::=6?1@ | |
| 1@7?::=7?1@ | |
| 1@8?::=8?1@ | |
| 1@9?::=9?1@ | |
| 2@0?::=0?2@ | |
| 2@1?::=1?2@ | |
| 2@2?::=2?2@ | |
| 2@3?::=3?2@ | |
| 2@4?::=4?2@ | |
| 2@5?::=5?2@ | |
| 2@6?::=6?2@ | |
| 2@7?::=7?2@ | |
| 2@8?::=8?2@ | |
| 2@9?::=9?2@ | |
| 3@0?::=0?3@ | |
| 3@1?::=1?3@ | |
| 3@2?::=2?3@ | |
| 3@3?::=3?3@ | |
| 3@4?::=4?3@ | |
| 3@5?::=5?3@ | |
| 3@6?::=6?3@ | |
| 3@7?::=7?3@ | |
| 3@8?::=8?3@ | |
| 3@9?::=9?3@ | |
| 4@0?::=0?4@ | |
| 4@1?::=1?4@ | |
| 4@2?::=2?4@ | |
| 4@3?::=3?4@ | |
| 4@4?::=4?4@ | |
| 4@5?::=5?4@ | |
| 4@6?::=6?4@ | |
| 4@7?::=7?4@ | |
| 4@8?::=8?4@ | |
| 4@9?::=9?4@ | |
| 5@0?::=0?5@ | |
| 5@1?::=1?5@ | |
| 5@2?::=2?5@ | |
| 5@3?::=3?5@ | |
| 5@4?::=4?5@ | |
| 5@5?::=5?5@ | |
| 5@6?::=6?5@ | |
| 5@7?::=7?5@ | |
| 5@8?::=8?5@ | |
| 5@9?::=9?5@ | |
| 6@0?::=0?6@ | |
| 6@1?::=1?6@ | |
| 6@2?::=2?6@ | |
| 6@3?::=3?6@ | |
| 6@4?::=4?6@ | |
| 6@5?::=5?6@ | |
| 6@6?::=6?6@ | |
| 6@7?::=7?6@ | |
| 6@8?::=8?6@ | |
| 6@9?::=9?6@ | |
| 7@0?::=0?7@ | |
| 7@1?::=1?7@ | |
| 7@2?::=2?7@ | |
| 7@3?::=3?7@ | |
| 7@4?::=4?7@ | |
| 7@5?::=5?7@ | |
| 7@6?::=6?7@ | |
| 7@7?::=7?7@ | |
| 7@8?::=8?7@ | |
| 7@9?::=9?7@ | |
| 8@0?::=0?8@ | |
| 8@1?::=1?8@ | |
| 8@2?::=2?8@ | |
| 8@3?::=3?8@ | |
| 8@4?::=4?8@ | |
| 8@5?::=5?8@ | |
| 8@6?::=6?8@ | |
| 8@7?::=7?8@ | |
| 8@8?::=8?8@ | |
| 8@9?::=9?8@ | |
| 9@0?::=0?9@ | |
| 9@1?::=1?9@ | |
| 9@2?::=2?9@ | |
| 9@3?::=3?9@ | |
| 9@4?::=4?9@ | |
| 9@5?::=5?9@ | |
| 9@6?::=6?9@ | |
| 9@7?::=7?9@ | |
| 9@8?::=8?9@ | |
| 9@9?::=9?9@ | |
| 0@|::=|0@ | |
| 1@|::=|1@ | |
| 2@|::=|2@ | |
| 3@|::=|3@ | |
| 4@|::=|4@ | |
| 5@|::=|5@ | |
| 6@|::=|6@ | |
| 7@|::=|7@ | |
| 8@|::=|8@ | |
| 9@|::=|9@ | |
| 0@0@0C::=<@0C0 | |
| 0@1@0C::=<@0C1 | |
| 0@2@0C::=<@0C2 | |
| 0@3@0C::=<@0C3 | |
| 0@4@0C::=<@0C4 | |
| 0@5@0C::=<@0C5 | |
| 0@6@0C::=<@0C6 | |
| 0@7@0C::=<@0C7 | |
| 0@8@0C::=<@0C8 | |
| 0@9@0C::=<@0C9 | |
| 0@0@1C::=<@0C1 | |
| 0@1@1C::=<@0C2 | |
| 0@2@1C::=<@0C3 | |
| 0@3@1C::=<@0C4 | |
| 0@4@1C::=<@0C5 | |
| 0@5@1C::=<@0C6 | |
| 0@6@1C::=<@0C7 | |
| 0@7@1C::=<@0C8 | |
| 0@8@1C::=<@0C9 | |
| 0@9@1C::=<@1C0 | |
| 1@0@0C::=<@0C1 | |
| 1@1@0C::=<@0C2 | |
| 1@2@0C::=<@0C3 | |
| 1@3@0C::=<@0C4 | |
| 1@4@0C::=<@0C5 | |
| 1@5@0C::=<@0C6 | |
| 1@6@0C::=<@0C7 | |
| 1@7@0C::=<@0C8 | |
| 1@8@0C::=<@0C9 | |
| 1@9@0C::=<@1C0 | |
| 1@0@1C::=<@0C2 | |
| 1@1@1C::=<@0C3 | |
| 1@2@1C::=<@0C4 | |
| 1@3@1C::=<@0C5 | |
| 1@4@1C::=<@0C6 | |
| 1@5@1C::=<@0C7 | |
| 1@6@1C::=<@0C8 | |
| 1@7@1C::=<@0C9 | |
| 1@8@1C::=<@1C0 | |
| 1@9@1C::=<@1C1 | |
| 2@0@0C::=<@0C2 | |
| 2@1@0C::=<@0C3 | |
| 2@2@0C::=<@0C4 | |
| 2@3@0C::=<@0C5 | |
| 2@4@0C::=<@0C6 | |
| 2@5@0C::=<@0C7 | |
| 2@6@0C::=<@0C8 | |
| 2@7@0C::=<@0C9 | |
| 2@8@0C::=<@1C0 | |
| 2@9@0C::=<@1C1 | |
| 2@0@1C::=<@0C3 | |
| 2@1@1C::=<@0C4 | |
| 2@2@1C::=<@0C5 | |
| 2@3@1C::=<@0C6 | |
| 2@4@1C::=<@0C7 | |
| 2@5@1C::=<@0C8 | |
| 2@6@1C::=<@0C9 | |
| 2@7@1C::=<@1C0 | |
| 2@8@1C::=<@1C1 | |
| 2@9@1C::=<@1C2 | |
| 3@0@0C::=<@0C3 | |
| 3@1@0C::=<@0C4 | |
| 3@2@0C::=<@0C5 | |
| 3@3@0C::=<@0C6 | |
| 3@4@0C::=<@0C7 | |
| 3@5@0C::=<@0C8 | |
| 3@6@0C::=<@0C9 | |
| 3@7@0C::=<@1C0 | |
| 3@8@0C::=<@1C1 | |
| 3@9@0C::=<@1C2 | |
| 3@0@1C::=<@0C4 | |
| 3@1@1C::=<@0C5 | |
| 3@2@1C::=<@0C6 | |
| 3@3@1C::=<@0C7 | |
| 3@4@1C::=<@0C8 | |
| 3@5@1C::=<@0C9 | |
| 3@6@1C::=<@1C0 | |
| 3@7@1C::=<@1C1 | |
| 3@8@1C::=<@1C2 | |
| 3@9@1C::=<@1C3 | |
| 4@0@0C::=<@0C4 | |
| 4@1@0C::=<@0C5 | |
| 4@2@0C::=<@0C6 | |
| 4@3@0C::=<@0C7 | |
| 4@4@0C::=<@0C8 | |
| 4@5@0C::=<@0C9 | |
| 4@6@0C::=<@1C0 | |
| 4@7@0C::=<@1C1 | |
| 4@8@0C::=<@1C2 | |
| 4@9@0C::=<@1C3 | |
| 4@0@1C::=<@0C5 | |
| 4@1@1C::=<@0C6 | |
| 4@2@1C::=<@0C7 | |
| 4@3@1C::=<@0C8 | |
| 4@4@1C::=<@0C9 | |
| 4@5@1C::=<@1C0 | |
| 4@6@1C::=<@1C1 | |
| 4@7@1C::=<@1C2 | |
| 4@8@1C::=<@1C3 | |
| 4@9@1C::=<@1C4 | |
| 5@0@0C::=<@0C5 | |
| 5@1@0C::=<@0C6 | |
| 5@2@0C::=<@0C7 | |
| 5@3@0C::=<@0C8 | |
| 5@4@0C::=<@0C9 | |
| 5@5@0C::=<@1C0 | |
| 5@6@0C::=<@1C1 | |
| 5@7@0C::=<@1C2 | |
| 5@8@0C::=<@1C3 | |
| 5@9@0C::=<@1C4 | |
| 5@0@1C::=<@0C6 | |
| 5@1@1C::=<@0C7 | |
| 5@2@1C::=<@0C8 | |
| 5@3@1C::=<@0C9 | |
| 5@4@1C::=<@1C0 | |
| 5@5@1C::=<@1C1 | |
| 5@6@1C::=<@1C2 | |
| 5@7@1C::=<@1C3 | |
| 5@8@1C::=<@1C4 | |
| 5@9@1C::=<@1C5 | |
| 6@0@0C::=<@0C6 | |
| 6@1@0C::=<@0C7 | |
| 6@2@0C::=<@0C8 | |
| 6@3@0C::=<@0C9 | |
| 6@4@0C::=<@1C0 | |
| 6@5@0C::=<@1C1 | |
| 6@6@0C::=<@1C2 | |
| 6@7@0C::=<@1C3 | |
| 6@8@0C::=<@1C4 | |
| 6@9@0C::=<@1C5 | |
| 6@0@1C::=<@0C7 | |
| 6@1@1C::=<@0C8 | |
| 6@2@1C::=<@0C9 | |
| 6@3@1C::=<@1C0 | |
| 6@4@1C::=<@1C1 | |
| 6@5@1C::=<@1C2 | |
| 6@6@1C::=<@1C3 | |
| 6@7@1C::=<@1C4 | |
| 6@8@1C::=<@1C5 | |
| 6@9@1C::=<@1C6 | |
| 7@0@0C::=<@0C7 | |
| 7@1@0C::=<@0C8 | |
| 7@2@0C::=<@0C9 | |
| 7@3@0C::=<@1C0 | |
| 7@4@0C::=<@1C1 | |
| 7@5@0C::=<@1C2 | |
| 7@6@0C::=<@1C3 | |
| 7@7@0C::=<@1C4 | |
| 7@8@0C::=<@1C5 | |
| 7@9@0C::=<@1C6 | |
| 7@0@1C::=<@0C8 | |
| 7@1@1C::=<@0C9 | |
| 7@2@1C::=<@1C0 | |
| 7@3@1C::=<@1C1 | |
| 7@4@1C::=<@1C2 | |
| 7@5@1C::=<@1C3 | |
| 7@6@1C::=<@1C4 | |
| 7@7@1C::=<@1C5 | |
| 7@8@1C::=<@1C6 | |
| 7@9@1C::=<@1C7 | |
| 8@0@0C::=<@0C8 | |
| 8@1@0C::=<@0C9 | |
| 8@2@0C::=<@1C0 | |
| 8@3@0C::=<@1C1 | |
| 8@4@0C::=<@1C2 | |
| 8@5@0C::=<@1C3 | |
| 8@6@0C::=<@1C4 | |
| 8@7@0C::=<@1C5 | |
| 8@8@0C::=<@1C6 | |
| 8@9@0C::=<@1C7 | |
| 8@0@1C::=<@0C9 | |
| 8@1@1C::=<@1C0 | |
| 8@2@1C::=<@1C1 | |
| 8@3@1C::=<@1C2 | |
| 8@4@1C::=<@1C3 | |
| 8@5@1C::=<@1C4 | |
| 8@6@1C::=<@1C5 | |
| 8@7@1C::=<@1C6 | |
| 8@8@1C::=<@1C7 | |
| 8@9@1C::=<@1C8 | |
| 9@0@0C::=<@0C9 | |
| 9@1@0C::=<@1C0 | |
| 9@2@0C::=<@1C1 | |
| 9@3@0C::=<@1C2 | |
| 9@4@0C::=<@1C3 | |
| 9@5@0C::=<@1C4 | |
| 9@6@0C::=<@1C5 | |
| 9@7@0C::=<@1C6 | |
| 9@8@0C::=<@1C7 | |
| 9@9@0C::=<@1C8 | |
| 9@0@1C::=<@1C0 | |
| 9@1@1C::=<@1C1 | |
| 9@2@1C::=<@1C2 | |
| 9@3@1C::=<@1C3 | |
| 9@4@1C::=<@1C4 | |
| 9@5@1C::=<@1C5 | |
| 9@6@1C::=<@1C6 | |
| 9@7@1C::=<@1C7 | |
| 9@8@1C::=<@1C8 | |
| 9@9@1C::=<@1C9 | |
| 1?|<@::=|1@0@ | |
| 2?|<@::=|2@0@ | |
| 3?|<@::=|3@0@ | |
| 4?|<@::=|4@0@ | |
| 5?|<@::=|5@0@ | |
| 6?|<@::=|6@0@ | |
| 7?|<@::=|7@0@ | |
| 8?|<@::=|8@0@ | |
| 9?|<@::=|9@0@ | |
| _<@|::=_|0@ | |
| _|<@::=_ | |
| _0C::=_ | |
| _1C::=_1 | |
| ::= | |
| _15414_+_69010_ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment