sexpr-parser
Simple s-expression parser
https://github.com/rcook/sexpr-parser#readme
| LTS Haskell 20.26: | 0.2.2.0 |
| Stackage Nightly 2022-12-23: | 0.2.2.0 |
| Latest on Hackage: | 0.2.2.0 |
Maintained by [email protected]
This version can be pinned in stack with:
sexpr-parser-0.2.2.0@sha256:0715b189165ff30f4827b5b6a3c9e775b00c43e9e406ba2fe70600c913479288,1675Module documentation for 0.2.2.0
Depends on 6 packages(full list with versions):
Used by 1 package in nightly-2022-10-31(full list with versions):
sexpr-parser
S-expression parser in Haskell
Description
This is a Megaparsec-based parser for s-expressions, heavily inspired by lispparser. I’m building this to parse SMT-LIB v2 output from Z3, so there.
Run Z3 demo
The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and the z3 executable available on your system search path:
stack build --fast --exec sexpr-parser-z3-demo