matthesjh / rewriting-curry

Libraries for term rewriting and narrowing in Curry

Geek Repo

Github PK Tool