search

LPCIC / elpi

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

Unique id passed to global constant constructor #281

Closed FissoreD closed 3 weeks ago

gares commented 3 weeks ago

merged