logic-TPTP 0.2.0.6 → 0.2.0.7

raw patch · 2 files changed

+11/−2 lines, 2 files

Files

MACROS.h +8/−0
logic-TPTP.cabal +3/−2

+ MACROS.h view

@@ -0,0 +1,8 @@+#ifndef __MACROS_H++#define POINTED_FORMULA(c) \+	(Pointed (Formula0 (T c) (F c)) (c (Formula0 (T c) (F c))))+#define POINTED_TERM(c) \+	(Pointed (Term0 (T c)) (c (Term0 (T c))))++#endif

logic-TPTP.cabal view

@@ -1,5 +1,5 @@ name: logic-TPTP    -version: 0.2.0.6+version: 0.2.0.7 cabal-version: >= 1.6 build-type: Simple license: GPL@@ -40,7 +40,8 @@                     testing/TestImportExportImportFile.hs                     testing/PrettyPrintFile.hs                     testing/ParseRandom.hs-                    +                    MACROS.h+ tested-with: GHC==7.0.1  source-repository head