package pratter
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
An extended Pratt parser
Install
Dune Dependency
Authors
Maintainers
Sources
pratter-1.2.tbz
sha256=9767478a4c9b1fc4e596a79d97032ba412aa1702449478fc52ef8508e9aaa897
sha512=a18cee025293ab0556a2e4c69689a63f1c97b8d980594c8e13bcf7b26a848066ef80863a3f3e3ab2899d98a0180d2e28e5780d481fa94a167b829636a2e8959d
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 based on the Pratt parsing algorithm and extended to handle term application and non associative operators.
Published: 05 May 2021
On This Page