Safe Haskell | None |
---|---|
Language | Haskell98 |
TPDB.CPF.Proof.Xml
Description
from internal representation to XML, and back
Documentation
tox :: CertificationProblem -> Document () Source
tpdb-0.8.4: Data Type for Rewriting Systems
Safe Haskell | None |
---|---|
Language | Haskell98 |
TPDB.CPF.Proof.Xml
Description
from internal representation to XML, and back
tox :: CertificationProblem -> Document () Source