Discrimination tree on multiple args - Githubissues

LPCIC / elpi

Embeddable Lambda Prolog Interpreter

GNU Lesser General Public License v2.1

273 stars 32 forks source link

Discrimination tree on multiple args #213

Closed FissoreD closed 7 months ago