fix missing occur check (fix #218) - Githubissues

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

273 stars 32 forks source link

fix missing occur check (fix #218) #219

Closed gares closed 5 months ago