pratterversion
An implementation of the Pratt parsing algorithm for first order terms
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 an extension of the Pratt parsing algorithm.
| Author | Gabriel Hondet |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/gabrielhdt/pratter |
| Issue Tracker | https://github.com/gabrielhdt/pratter/issues |
| Maintainer | leirbag@sdfeu.org |
| Dependencies | |
| Source [http] | https://github.com/gabrielhdt/pratter/releases/download/1.0/pratter-1.0.tbz sha256=bb6fd9b792a9a486c5096a7ba2e499dba5ae85f98b477fca9cf6802b44266cce sha512=801778a8e61bf6af6c28fa5665247070b4db40e3d83d29d6e9b7f84d7dcce274d3736163df704bc664bd0ea412680debb6750142bbc54a878704f659da6e285c |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.1.0/opam |
No package is dependent
