this could be relevant to you if:

- you are working on anything involving linear logic and want more examples of applications.

- you like thinking about games (video and/or tabletop) as rule systems and would like a way to prototype them at that level

- you have thought about implementing a linear logic programming language but don't know where to start

- you have a student or friend who is curious about linear logic and you want to point them to a beginner-friendly tutorial