sexpr-parser
Simple s-expression parser
https://github.com/rcook/sexpr-parser#readme
| Version on this page: | 0.2.0.0 |
| 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.0.0@sha256:8510614ff4f26eec1c986849405f6cd9db798cc3252c6dff3893acd5774455e3,1705Module documentation for 0.2.0.0
Depends on 6 packages(full list with versions):
Used by 1 package in nightly-2019-09-18(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