search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
273 stars 32 forks source link

HO api #210

Closed gares closed 7 months ago

gares commented 7 months ago

Fix LPCIC/coq-elpi#549

MSoegtropIMC commented 7 months ago

Many thanks! I didn't imagine that it would become so complicated ...