Giters

paf31 / monad-unify

A library for type-safe first-order unification

Home Page:http://hackage.haskell.org/package/monad-unify

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

monad-unify

A library for type-safe first-order unification

About

A library for type-safe first-order unification

http://hackage.haskell.org/package/monad-unify

License:MIT License

Languages

Language:Haskell 100.0%