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.1.tbz
sha256=7dd9a7b970d3f660a957a54ae257ac2228f8203a133f8ceb7a73ce61f0663833
sha512=040a36c6d61761701d7f93d620f5a466caa0d578f6dfb0a93028fd8f693b4abef8b22c9b7695971e21ce347865dfc84f26cc032f1c4bfc070ee6e87cd9a72318
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: 10 May 2022
Dependencies (2)
- camlp-streams
-
dune
>= "2.7"
Dev Dependencies (5)
-
odoc
with-doc -
qcheck-alcotest
with-test -
qcheck
with-test -
alcotest
with-test -
ocaml
>= "4.02" | with-test & >= "4.03"
Used by (1)
-
lambdapi
< "2.2.1"
Conflicts
None
On This Page