GitHub repository: paf31/monad-unify
Primary language: Haskell
Description: A library for type-safe first-order unification