Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: definitional-trees

matthesjh/rewriting-curry

Libraries for term rewriting and narrowing in Curry

Size: 110 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

Related Keywords
critical-pairs 1 curry 1 definitional-trees 1 kics2 1 narrowing 1 pakcs 1 rewriting 1 substitution 1 unification 1