tpdb-0.0: Data Type for Rewriting Systems
TPDB.XTC.Read
Description
construct data object from XML tree.
readProblems :: FilePath -> IO [Problem Identifier Identifier]Source