## Mermaid Diagrams

The diagrams in this directory were produced with the [Mermaid Live Editor][1].
I have not yet taken the effort to automate them, nor learned how to produce
similar diagrams in `pic`.

If you have not heard of [Mermaid][2] before, it is an outstanding diagramming
tool.

<!-- references -->
[1]: https://mermaid-js.github.io/mermaid-live-editor/
[2]: https://mermaid-js.github.io/mermaid/#/