| Copyright | (c) Eugen Kuksa University of Magdeburg 2017 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Eugen Kuksa <kuksa@iks.cs.ovgu.de> |
| Stability | provisional |
| Safe Haskell | Safe |
TPTP.Common
Description
Documentation
escapeTPTPFilePath :: String -> String Source #
unescapeTPTPFilePath :: String -> String Source #
unescapeTPTPFileToken :: Token -> Token Source #
unescapeTPTPFileId :: Id -> Id Source #
unescapeTPTPFileIRI :: IRI -> IRI Source #