Skip to content

Instantly share code, notes, and snippets.

View mmasias's full-sized avatar
💬
Under construction

Manuel Masías mmasias

💬
Under construction
View GitHub Profile
@mmasias
mmasias / README.md
Created April 7, 2024 19:30 — forked from paolobrasolin/README.md
A::B prompting challenge
A::B is a system with 4 tokens: `A#`, `#A`, `B#` and `#B`.
An A::B program is a sequence of tokens. Example:
B# A# #B #A B#
To *compute* a program, we must rewrite neighbor tokens, using the rules:
A# #A ... becomes ... nothing
A# #B ... becomes ... #B A#