API: expose register_eval in builtins.mli - Githubissues

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

273 stars 32 forks source link

API: expose register_eval in builtins.mli #202

Closed gares closed 7 months ago