anti-unification. Functional implementation of anti-unification algorithm for multiple terms

github.com/webyrd/anti-unification

Problem

Audience

Updates

No founder updates yet. Check back soon.