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-test.hs. One of goals of this project is to develop the tool for automatic drawing of diagrams of morphisms and proofs in form suitable for LaTeX (e.g. for XY-pic).

Modules

• Monocle
• Monocle.Core
• Monocle.Markup
• Monocle.Tex
• Monocle.Utils