GitHub repository: kyagrd/hs-nipkow-lics93
Primary language: Haskell
Created: 2017-09-14T05:09:16Z
Description: Haskell port of Nipkow's LICS 1993 paper on Higher-Order Pattern Unification