package pratter

  1. Overview
  2. Docs
package pratter
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Pratter: A parser for terms with operators

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.