package pratter
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
An implementation of the Pratt parsing algorithm for first order terms
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-1.0.tbz
sha256=bb6fd9b792a9a486c5096a7ba2e499dba5ae85f98b477fca9cf6802b44266cce
sha512=801778a8e61bf6af6c28fa5665247070b4db40e3d83d29d6e9b7f84d7dcce274d3736163df704bc664bd0ea412680debb6750142bbc54a878704f659da6e285c
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: 18 Jan 2021
On This Page