The derivation-trees package
A library to typeset derivation trees via Laurent Mehats metapost package. Also contains a module to ease the generation of trees for (coloured) pure type systems.
Properties
| Versions | 0.7.1, 0.7.2, 0.7.3 |
|---|---|
| Dependencies | applicative-extras (0.1.*), base (4.*), labeled-tree (1.*), mtl (1.1.*) |
| License | GPL |
| Author | Jean-Philippe Bernardy |
| Maintainer | jeanphilippe.bernardy@gmail.com |
| Category | Graphics, Math |
| Upload date | Thu Nov 18 09:12:01 UTC 2010 |
| Uploaded by | JeanPhilippeBernardy |
| Built on | ghc-7.0 |
Modules
Downloads
- derivation-trees-0.7.3.tar.gz (Cabal source package)
- package description (included in the package)