ut. Yet Another Efficient Unification Algorithm

github.com/kuba--/ut
by @kuba--

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.