package pratter
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Parse strings of tokens and mixfix operators
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-5.0.1.tar.bz2
md5=7a75f978f8746f5745318422d562e361
sha256=1083dd78ef5413366fdd0bcfcdb19a59f92d145f677d89a502a5da109e965cac
Description
Pratter allows to transform strings of symbols and mixfix operators to full binary trees. Pratter is convenient for parsing languages made of terms with many mixfix operators with different associativities and precedences such as arithmetic or λ-calculi. In contrast to parser generators, parsing rules can be edited dynamically.
Published: 09 Apr 2025
On This Page