higher-order-unification/explanation.md at 21382f44205aa3d8b115fe2b2eba47489da4b492 · jozefg/higher-order-unification · GitHub https://github.com/jozefg/higher-order-unification/blob/21382f44205aa3d8b115fe2b2eba47489da4b492/explanation.md