- Rewrite parser using menhir
- Get trace working properly
- Visualise the formal representation as well
- Colours for special morphisms
- Implement a graph rewrite system
- Show signature to show the constants in scope
- Ability to directly download circuit svgs
- Make it look prettier
- Algebraic notation generator
- Tikz generator
- Agda generator