Copyright | (c) Evgenii Kotelnikov 2019 |
---|---|
License | GPL-3 |
Maintainer | evgeny.kotelnikov@gmail.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Data.TPTP.Parse.Text.Lazy
Description
tptp-0.1.0.3: A parser and a pretty printer for the TPTP language
Copyright | (c) Evgenii Kotelnikov 2019 |
---|---|
License | GPL-3 |
Maintainer | evgeny.kotelnikov@gmail.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Data.TPTP.Parse.Text.Lazy
Description