Safe Haskell | None |
---|
the old TPDB format cf. http://www.lri.fr/~marche/tpdb/format.html
Documentation
class PrettyTerm a whereSource
prettyTerm :: a -> DocSource
Pretty s => PrettyTerm [s] | |
(Pretty v, Pretty s) => PrettyTerm (Term v s) |
Safe Haskell | None |
---|
the old TPDB format cf. http://www.lri.fr/~marche/tpdb/format.html
class PrettyTerm a whereSource
prettyTerm :: a -> DocSource
Pretty s => PrettyTerm [s] | |
(Pretty v, Pretty s) => PrettyTerm (Term v s) |