This repository hosts the code used in proving termination and local confluence for a string diagrammatic presentation of functions between finite sets. See this paper (Section 6) for further details.