Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Safe HaskellSafe

TPTP.Common

Description

 

Documentation

escapeTPTPFilePath :: String -> String Source #

unescapeTPTPFilePath :: String -> String Source #