elpi-option-legacy-parser

ELPI - option for legacy parser
Description

Enables the -legacy-parser flag, implemented on top of CamlP5

Install
Published
19 Apr 2022
Authors
Maintainers
Dependencies
ocaml < "4.14.0"
camlp5 > "7.99"
elpi post & >= "1.15.2"
Reverse Dependencies