Packages tagged: term-rewriting

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