search

LPCIC / elpi

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

Update ELPI.md #215

Closed gares closed 6 months ago

gares commented 7 months ago

CC @FissoreD please check the updates are OK