search

LPCIC / elpi

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

fix missing restriction #240

Closed gares closed 2 weeks ago

gares commented 2 weeks ago

CC @ybertot