[new release] elpi (1.19.3)

[gares]

ELPI - Embeddable λProlog Interpreter

• Project page: https://github.com/LPCIC/elpi
• Documentation: https://LPCIC.github.io/elpi/

CHANGES:

Requires Menhir 20211230 and OCaml 4.08 or above.

• Linter:

  • Fix regex for linearity check, Foo_Bar was silently ignored for linearity purpose

• Parser:

  • Fix error message for named quotation

• Runtime:

  • Fix missing restriction

[mseri]

Thanks