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
Portabilitynon-portable (imports Logic)
Safe HaskellNone

TPTP.ParseAsLibDefn

Description

 

Documentation

parseTPTP :: HetcatsOpts -> FilePath -> String -> ResultT IO [LIB_DEFN] Source #