Safe Haskell | None |
---|
TPDB.CPF.Proof.Write
Description
from internal representation to XML, and back
Documentation
tox :: CertificationProblem -> Document ()Source
symbolize :: Functor f => RS Identifier (f Identifier) -> RS Symbol (f Symbol)Source
tpdb-0.9.8: Data Type for Rewriting Systems
Safe Haskell | None |
---|
TPDB.CPF.Proof.Write
Description
from internal representation to XML, and back
tox :: CertificationProblem -> Document ()Source
symbolize :: Functor f => RS Identifier (f Identifier) -> RS Symbol (f Symbol)Source