[determinacy] big refactor

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

290 stars 36 forks source link

Open FissoreD opened 5 days ago

gares commented 3 days ago

please run make menhir-strip-...

gares commented 3 days ago

overall looks good