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/v0.1.1/pratter-v0.1.1.tbz sha256=bc66d56e1756caca42d4d324c0f2ebae9710615116258e660642694d841d4a16 sha512=9af84dea4efbce4d9c1cb11181487043b65d2b408247c221e4d6728d7c60f2a8f8d8605f968b989ed40c1506d4d6d7254b888038b633839674fa8f1bf3435e7b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pratter/pratter.0.1.1/opam |
No package is dependent
