search

egraphs-good / egglog

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

Fix typo in web demo example #413

Closed tniessen closed 3 months ago

tniessen commented 3 months ago

Noticed while playing around with egg during Marktoberdorf :)