@hackage Monocle0.0.4

Symbolic computations in strict monoidal categories with LaTeX output.

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Osman Bineev (bineev AT gmail DOT com)
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.0.4 Thu, 17 Dec 2009
- 0.0.3 Tue, 15 Dec 2009
- 0.0.2 Thu, 10 Dec 2009
- 0.0.1 Wed, 9 Dec 2009
- 0.0.0 Wed, 9 Dec 2009

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

@hackage Monocle0.0.4

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)