package pratter
An implementation of the Pratt parsing algorithm for first order terms
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-v0.1.1.tbz
sha256=bc66d56e1756caca42d4d324c0f2ebae9710615116258e660642694d841d4a16
sha512=9af84dea4efbce4d9c1cb11181487043b65d2b408247c221e4d6728d7c60f2a8f8d8605f968b989ed40c1506d4d6d7254b888038b633839674fa8f1bf3435e7b
Description
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.
Published: 06 Jan 2021
README
Pratter: A parser for terms with operators
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.
On This Page