monad-unify
Version 0.2.2 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