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.

AuthorGabriel Hondet
LicenseBSD-3-Clause
Published
Homepagehttps://github.com/gabrielhdt/pratter
Issue Trackerhttps://github.com/gabrielhdt/pratter/issues
Maintainerkoizel#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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.1.2.1/opam
Required by