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

Monocle

Documentation

module Monocle.Core

module Monocle.Markup

module Monocle.Tex

module Monocle.Rules