ELPI – Embeddable Lambda Prolog Interpreter

3 points | by TheWiggles 8 hours ago