unification-fd
Version 0.11.2.2 revision 0 uploaded by WrenRomano.
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
- 2007–2024 wren romano
- Homepage
- https://wrengr.org/software/hackage.html
- Maintainer
- wren@cpan.org
- Package URL
- n/a
- Stability
- experimental