AlgebraicJulia / AlgebraicJulia/GATlab.jl
Rewrite Scripts
Aberta
- Linguagem predominante
- Julia
- Estrelas
- 43
- Forks
- 4
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
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.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.