EGraphs in OCaml
Why do you think that https://github.com/RiftValleySoftware/RVS_Generic_Swift_Toolbox is a good alternative to ego
EGraphs in OCaml
Why do you think that https://github.com/RiftValleySoftware/RVS_Generic_Swift_Toolbox is a good alternative to ego