pratterversion
An extended Pratt parser
Pratter is a library that provides a parser that transforms streams of terms to applied terms. Terms may contain infix or prefix operators and native applications. The parser is based on the Pratt parsing algorithm and extended to handle term application and non associative operators.
Author | Gabriel Hondet |
---|---|
License | BSD-3-Clause |
Published | |
Homepage | https://github.com/gabrielhdt/pratter |
Issue Tracker | https://github.com/gabrielhdt/pratter/issues |
Maintainer | koizel#pratter@aleeas.com |
Dependencies |
|
Source [http] | https://github.com/gabrielhdt/pratter/releases/download/1.2.1/pratter-1.2.1.tbz sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833 sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.1.2.1/opam |
Required by
- lambdapi>=2.0.0 & <2.2.1