# Monocle: Symbolic computations in strict monoidal categories with LaTeX output.

[ bsd3, library, math ] [ Propose Tags ]

Symbolic computations in strict monoidal categories with LaTeX output. See 'monocle-usage.pdf' and 'monocle-test.hs' included in package. One of goals of this project is to develop the tool for automatic drawing diagrams of morphisms and proofs in form suitable for LaTeX (e.g. for XY-pic).

[Index]