Haskell implementation of HO pattern unification with on-the-fly raising
Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause
TODO working on the contents