Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification
Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause