@hackage / Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

0.0.4

Dependents