@hackage derivation-trees0.7.2

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.