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.

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

Used by 1 package:
comments powered byDisqus