String diagrams for functions 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 ...

The error function is used to halt script execution and display an error message to the user. However, if it is not handled appropriately, this can lead to unexpected termination.