AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
24 stars 2 forks source link

Optimize e-matching based on types #39

Open olynch opened 1 year ago

olynch commented 1 year ago

The virtual machine that runs e-matching should use what it knows about the types that it is matching to match more efficiently.