A desktop application for exploring the relationship between parametric polymorphism and dinaturality, by representing naturality conditions as Petri nets.
A formal report, detailing the theory and design of Dino can be found here.
Keyboard Shortcut | Description |
---|---|
Command/Ctrl + N | Creates a new Petri net diagram |
Command/Ctrl + D. | Deletes the selected diagram |
Shift + Left-Click | Allows for multi-selection of up to two Petri net diagrams |
Command/Ctrl + . | Composes Petri nets if two are selected |
Command/Ctrl + s | Saves selected Petri net as an image (svg or png formats) |
Command/Ctrl + e | Exports selected Petri net as tikzcd code |
Command/Ctrl + l | Writes selected Petri net to clipboard as tikzcd code |