package pratter

  1. Overview
  2. Docs
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

README.md.html

Pratter: A parser for terms with operators and applications

Pratter is a library that provides a parser that transforms streams of terms to applied terms. Terms may contain infix or prefix operators and applications. The parser is an extension of the Pratt parsing algorithm.

Examples can be seen in the tests inside the t/ folder.

OCaml

Innovation. Community. Security.