search

LPCIC / elpi

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

fix regexp for linear variable silencing #239

Closed gares closed 3 months ago

gares commented 3 months ago

CC @ybertot