@hackage / Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

Latest0.0.4

Dependencies