search

LPCIC / elpi

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

fixup 226 #231

Closed gares closed 1 month ago

gares commented 1 month ago

The previous fix was wrong and also causing a massive slowdown in grundlagen