A small implementation of higher-order unification - View it on GitHub
Star
195
Rank
181256