IntersectMBO / IntersectMBO/typed-protocols
typed-protocols-docs: add option to export dot files
Open
enhancement
- Dominant language
- Haskell
- Stars
- 16
- Forks
- 7
- Avg merge
- 2d 23h
- Merged PRs (30d)
- 1
Description
If `typed-protocols-docs` output dot files, they could be used to be converted to other formats, e.g. `latex` with [`dot2tex`](https://dot2tex.readthedocs.io/en/latest/usage_guide.html).
Contributor guide
Assessment
This issue has not been assessed yet.