Reorder clauses for appendR

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

273 stars 32 forks source link

Closed FissoreD closed 4 months ago

FissoreD commented 5 months ago

Note: appendR [X|XL] [1] does not loop anymore

gares commented 5 months ago

Some tests need promotion, see the last lines of their message