pratterversion

Parse strings of tokens and mixfix operators

Pratter allows to transform strings of symbols and mixfix operators to full binary trees. Pratter is convenient for parsing languages made of terms with many mixfix operators with different associativities and precedences such as arithmetic or λ-calculi. In contrast to parser generators, parsing rules can be edited dynamically.

AuthorGabriel Hondet <koizel#pratter@aleeas.com>
LicenseBSD-3-Clause
Published
Homepagehttps://forge.tedomum.net/koizel/pratter
Issue Trackerhttps://github.com/gabrielhdt/pratter/issues
MaintainerGabriel Hondet <koizel#pratter@aleeas.com>
Dependencies
Source [http] https://forge.tedomum.net/koizel/pratter/-/archive/3.0.0/pratter-3.0.0.tar.gz
md5=f8ad3611d5702c0dd1ca869c2349663e
sha512=2dca78a5e2d1239c7aaa893c08eb612dad50ade092776ca02fd083209fca805e22520bff78309ef8435a4b900be2a272415efff3a81e1bb1f0a3dec8bcb3e1a4
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.3.0.0/opam
Required by