dolmen

A parser library for automated deduction
Description

Dolmen is a parser library. It currently targets languages used in automated theorem provers, but may be extended to other domains.

Dolmen provides functors that takes as arguments a representation of terms and statements, and returns a module that can parse files (or streams of tokens) into the provided representation of terms or statements. This is meant so that Dolmen can be used as a drop-in replacement of existing parser, in order to factorize parsers among projects.

Additionally, Dolmen also provides a standard implementation of terms and statements that cna be used ot instantiate its parsers.

Install
Published
08 Jun 2022
Authors
Maintainers
Sources
dolmen-0.7.tbz
sha256=ff2889fa9d467d5b4d87ae4f819a64358715f457cc6226b455463c2fcd4ab2af sha512=d6ba56945aabcf0886e83fcf44c45f2f8afcf68e48d2f0b25f9cd8e60d18106fae3976fee49d3e291b2e0ab3266837ad5eff800dc51fe2b3aab15ad81ea58cbb
Dependencies
qcheck with-test
odoc with-doc
fmt >= "0.8.7"
dune >= "2.7"
menhir >= "20211230"
ocaml >= "4.08"
Reverse Dependencies