package dolmen
Dolmen is a parser library. It currently mainly supports languages used in automated deduction.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.1.tar.gz
md5=b555b32e8a98563b1d3822a9e1ba7067
Description
Dolmen provides parser functorised over a representation of terms and top-level statements, so that users can instantiates these functors with their own implementation. Dolmen features incremental parsing, as well as helper functions to locate files based on a language's specifications (such as TPTP's environment variable).
Dependencies (4)
-
ocamlbuild
build
-
menhir
>= "20151005"
- ocamlfind
-
ocaml
< "5.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page