elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.parser
Module Elpi_parser . Ast . Macro