Monocle

Symbolic computations in strict monoidal categories with LaTeX output.

Latest on Hackage:0.0.4

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

BSD-3-Clause licensed by Osman Bineev
Maintained by Osman Bineev (bineev AT gmail DOT com)

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).