derivation-trees-0.7.1: Typeset Derivation Trees via MetaPost
Data.LabeledTree
data Tree k a Source
Constructors
Fields
Instances
data k ::> a Source
type Forest k a = [k ::> Tree k a]Source