pratterversion Documentation on ocaml.org
A table-driven operator precedence parser
Pratter is a top-down operator precedence parser that allows to parse expressions with infix, prefix and postfix operators.
| Author | Gabriel Hondet |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/Deducteam/pratter |
| Issue Tracker | https://github.com/Deducteam/pratter/issues |
| Maintainer | Gabriel Hondet |
| Dependencies | |
| Source [http] | https://codeload.github.com/Deducteam/pratter/tar.gz/refs/tags/5.0.2 sha256=f690a04270747947277e06116a13a5b163413439d72c1a902a2bff9abe548ad6 sha512=03a06fe36bad084f9f3730526d0cdf9a410d137256329455df6a4c97421ab0a30b859140f54e72e6e26d86c455a257ff391de007680b8c7bcec013cbd307ad19 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.5.0.2/opam |
Required by
- lambdapi>=3.0.0
