This is some Scala and Python code for manipulating pasting diagrams, and also a draft of a research paper explaining it.
The research paper is available separately for people who do not wish to play with the source code.
Downloading source code
In order to obtain a copy, you'll need to have installed Git and got it working. Once that's done, download by typing:
Compiling source code
The following are prerequisites to compiling the paper from source:
If you have all those, simply typing