HOU. Higher Order Unification implemented in in Nipkow's described method

github.com/cjohnson19/HOU
by @cjohnson19

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.