Dependencies for tptp-0.1.0.3
Libraries
tptp
- attoparsec (>=0.13.2 && <0.14)
- base (>=4.5 && <5.0)
- prettyprinter (>=1.2.1 && <1.3)
- scientific (>=0.3.6 && <0.4)
- text (>=1.2.3 && <1.3)
- if impl(ghc<8)
- semigroups (>=0.16.1 && <0.19)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| werror | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info