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.*), mtl (1.1.*) |
| License | GPL |
| Author | Jean-Philippe Bernardy |
| Maintainer | jeanphilippe.bernardy@gmail.com |
| Category | Graphics, Math |
| Upload date | Tue Jun 8 07:46:48 UTC 2010 |
| Uploaded by | JeanPhilippeBernardy |
| Built on | ghc-6.12 |
Modules
Downloads
- derivation-trees-0.7.1.tar.gz (Cabal source package)
- package description (included in the package)