/Category-LaTeX-Generator

Auto generate tikz diagrams for monoidal categories

Primary LanguageOCaml

Watchers