pratter

An extended Pratt parser
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.

Install
Published
10 May 2022
Authors
Maintainers
Sources
pratter-1.2.1.tbz
sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833 sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318
Dependencies
odoc with-doc
qcheck with-test
alcotest with-test
dune >= "2.7"
ocaml >= "4.02" | with-test & >= "4.03"
Reverse Dependencies
lambdapi >= "2.0.0" & < "2.2.1"