The Monocle package
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).
Properties
| Versions | 0.0.0, 0.0.1, 0.0.2, 0.0.3, 0.0.4 |
|---|---|
| Dependencies | base (≥3 & <5) |
| License | BSD3 |
| Author | Osman Bineev |
| Maintainer | Osman Bineev (bineev AT gmail DOT com) |
| Stability | alpha |
| Category | Math |
| Upload date | Wed Dec 9 20:45:24 UTC 2009 |
| Uploaded by | OsmanBineev |
| Build failure | ghc-6.10 (log), ghc-6.12 (log) |
Modules
- Monocle
- Monocle.Core
- Monocle.Markup
- Monocle.Tex
- Monocle.Utils
Downloads
- Monocle-0.0.1.tar.gz (Cabal source package)
- package description (included in the package)