Safe Haskell | None |
---|---|
Language | Haskell98 |
from internal representation to XML, and back
Documentation
tox :: CertificationProblem -> Document Source #
symbolize :: Functor f => RS Identifier (f Identifier) -> RS Symbol (f Symbol) Source #
Safe Haskell | None |
---|---|
Language | Haskell98 |
from internal representation to XML, and back
tox :: CertificationProblem -> Document Source #
symbolize :: Functor f => RS Identifier (f Identifier) -> RS Symbol (f Symbol) Source #