Playing around with "First-order Unification by Structural Recursion", Journal of Functional Programming, McBride '03.
sammthomson/IdrisUnification
Playing around with "First-order Unification by Structural Recursion", McBride '03, J. Functional Programming
IdrisApache-2.0