name: Monocle
version: 0.0.4
cabal-version: >=1.2
build-type: Simple
license: BSD3
license-file: LICENSE
copyright:
maintainer: Osman Bineev (bineev AT gmail DOT com)
build-depends: base >=3 && <5, containers -any, haskell98 -any,
               mtl -any
stability: alpha
homepage:
package-url:
bug-reports:
synopsis: Symbolic computations in strict monoidal categories with LaTeX output.
description: 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).
category: Math
author: Osman Bineev
tested-with:
data-files:
data-dir: ""
extra-source-files: monocle-test.hs monocle-usage.pdf
extra-tmp-files:
exposed-modules: Monocle Monocle.Core Monocle.Markup Monocle.Rules
                 Monocle.Tex Monocle.Utils
exposed: True
buildable: True
build-tools:
cpp-options:
cc-options:
ld-options:
pkgconfig-depends:
frameworks:
c-sources:
extensions:
extra-libraries:
extra-lib-dirs:
includes:
install-includes:
include-dirs:
hs-source-dirs: .
other-modules:
ghc-prof-options:
ghc-shared-options:
ghc-options:
hugs-options:
nhc98-options:
jhc-options: