A small implementation of higher-order unification - View it on GitHub
Star
192
Rank
172084