Higher Order Unification implemented in Nipkow's described method
See Nipkow's paper here which describes the algorithm in full and implements a version with De Bruijn indices.
Higher Order Unification implemented in Nipkow's described method
See Nipkow's paper here which describes the algorithm in full and implements a version with De Bruijn indices.