The latest version of monad-unify is 0.2.2-1.
monad-unify
Version 0.2.1 revision 1 uploaded by AdamBergmark.
Package meta
- Synopsis
- Generic first-order unification
- Description
- Author
- Phil Freeman
- Bug reports
- n/a
- Category
- Unification
- Copyright
- (c) Phil Freeman 2013
- Homepage
- n/a
- Maintainer
- Phil Freeman <paf31@cantab.net>
- Package URL
- n/a
- Stability
- experimental