Run language from Programs as Diagrams

[colltoaction]

Implementing programs as diagrams in a principled way with Dusko Pavlovic's single-instruction Run language:

• https://arxiv.org/abs/2208.03817
• https://youtu.be/Sh_OCmjG3T8