Safe Haskell | None |
---|---|
Language | Haskell98 |
- module Data.Monoid
- module Data.LabeledTree
- haltDrv :: TeX -> Derivation TeX -> Derivation TeX
- module Graphics.Diagrams.DerivationTrees
- derivationTree :: Derivation TeX -> TeX
- derivationTreeD :: Derivation TeX -> TeX
Basics
module Data.Monoid
module Data.LabeledTree
Engine
haltDrv :: TeX -> Derivation TeX -> Derivation TeX Source #
Frontend
derivationTree :: Derivation TeX -> TeX Source #
Render a derivation tree using simple latex only (links will not be rendered properly)
derivationTreeD :: Derivation TeX -> TeX Source #