Packages tagged: unification

nimtrs
Nim term rewriting system
Pure Nim term-rewriting unification pattern-matching macro ast linux macos win