search

egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
459 stars 54 forks source link

Add in-progress redex semantics to repository #324

Open oflatt opened 10 months ago

oflatt commented 10 months ago

This PR adds a prototype of the egglog semantics as a redex document. The main feature it lacks compared to egglog is merge functions- I hope by merging this code, we can work on it until it is fully featured, and make it the reference implementation and semantics of egglog.

oflatt commented 10 months ago

Converted to draft, until we come to a consensus on what the basic semantics should be