package pratter

You can search for identifiers within the package.

in-package search v0.2.0

Parse strings of tokens and mixfix operators

Install

dune-project

Dependency

sha512=c3294e16486f64cde691edfe0601edd66aed249482c7264ed82510b0b8b2adaad36337464721ac1a39ca4ac1330e8083ca955b65d463fc3ef523ca3ae2c468c3

Pratter Transform strings of tokens and mixfix operators into full binary trees. Operators are characterised by their associativity and their fixity.

On This Page