View source on GitHub |
Library for pattern matching and rewriting.
Modules
jax_rewrite
module: Contains utilities for writing JAX patterns and rewriting JAX functions.
matcher
module: A basic pattern matching system.
rules
module: A simple term-rewriting system.