statusfailed / cartographer-string-diagrammatic-reasoning

⚠️ This code is not actively maintained ⚠️

🗺️ Cartographer

This repository is the implementation accompanying the paper CARTOGRAPHER: A Tool for String Diagrammatic Reasoning

Here are some things you can do:

• Run the app
• Read the user guide
• Read the paper

Code

Cartographer consists of a library and a graphical frontend, both in this repository:

• cartographer: A haskell library containing the main datastructures and associated functions
• cartographer-editor: A haskell Miso application to render those datastructures