tpdb-0.0: Data Type for Rewriting Systems
TPDB.Plain.Write
Description
the old TPDB format cf. http://www.lri.fr/~marche/tpdb/format.html
class Pretty a whereSource
Methods
pretty :: a -> DocSource
Instances