IntersectMBO / IntersectMBO/ouroboros-network
Generate protocol graphs using `typed-protocols-docs`
Open
documentation
- Dominant language
- Haskell
- Stars
- 296
- Forks
- 104
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 4
Description
This requires input-output-hk/typed-protocols#47. [`dot2tex`](https://dot2tex.readthedocs.io/en/latest/usage_guide.htm) can be used to convert `dot` files to `LaTeX`. It can use `tikz`, so the quality of the rendered graphs should be quite good.
Contributor guide
Assessment
This issue has not been assessed yet.