sexpr-parser

Simple s-expression parser https://github.com/rcook/sexpr-parser#readme

Version on this page:0.1.1.2
Stackage Nightly 2019-03-22:0.1.1.2
Latest on Hackage:0.1.1.2

See all snapshots sexpr-parser appears in

MIT licensed by Richard Cook
Maintained by rcook@rcook.org

Module documentation for 0.1.1.2

sexpr-parser

Travis branch Hackage Licence

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

Licence

MIT License

Depends on 5 packages:
Used by 1 package:
comments powered byDisqus