X
Jun 7, 2026XTK: A Symbolic Expression Toolkit for Term Rewriting
A Python library for rule-based term rewriting with pattern matching, multiple input formats, and an interactive REPL.
Jun 7, 20263 min read0 reactions0 comments
Back to articles
Tag archive
#termrewriting
H
Jun 7, 2026How to Teach a Computer Calculus with Pattern Matching
Define patterns, define replacements, repeat until done. Watch a 90-line rewrite engine learn to differentiate.
Jun 7, 202613 min read0 reactions0 comments