The latest version of unification-fd is 0.11.2.2-0.
unification-fd
Version 0.11.2 revision 1 uploaded by phadej.
Package meta
- Synopsis
- Simple generic unification algorithms.
- Description
Generic functions for single-sorted first-order structural unification (think of programming in Prolog, or of the metavariables in type inference).
- Author
- wren gayle romano
- Bug reports
- https://github.com/wrengr/unification-fd/issues
- Category
- Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
- Copyright
- Copyright (c) 2007–2021 wren gayle romano
- Homepage
- https://wrengr.org/software/hackage.html
- Maintainer
- wren@cpan.org
- Package URL
- n/a
- Stability
- experimental