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

[Last Documentation]

Monocle
- Monocle.Core
- Monocle.Markup
- Monocle.Tex
- Monocle.Utils

Downloads

Monocle-0.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

OsmanBineev

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4
Dependencies	base (>=3 && <5) [details]
License	BSD-3-Clause
Author	Osman Bineev
Maintainer	Osman Bineev (bineev AT gmail DOT com)
Category	Math
Uploaded	by OsmanBineev at 2009-12-09T18:19:48Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	4512 total (12 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] All reported builds failed as of 2016-12-30 [all 8 reports]