This repository contains a Haskell tool for visualising process compositions as diagrams. The formal theory of process compositions is available on the Archive of Formal Proofs and GitHub. This tool uses code automatically generated from that formalisation by Isabelle/HOL.
The diagrams themselves are drawn using the Diagrams library and are geared towards being exported as SVG.
See the examples directory for simple diagrams generated by this tool.
These examples are generated by an executable of this project.
This project requires Stack to build.
Simply run stack build in the root to gather all dependencies, build them and build this project.
This project includes a single executable called examples, which generates a number of basic examples into a directory.
This can be run with stack run DIR where DIR is the destination directory.