AlgebraicJulia / AlgebraicJulia/GATlab.jl
Rewrite Scripts
Ouverte
- Langage dominant
- Julia
- Étoiles
- 43
- Forks
- 4
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
We should have library functionality sufficient to write small "rewrite programs" which
- have variables which are e-graph ids
- match patterns with e-graph ids
- loop through all e-graph ids of a certain type
- do "principled" merging by applying axioms in the theory
There might be a macro to make this convenient, but the core functionality should be accessible by Julia functions/automatable.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.