Hacker News
Linking pages
Linked pages
- egg https://egraphs-good.github.io/ 22 comments
- Progress on Automated Reasoning for Catlab with Metatheory.jl Egraphs | Hey There Buddo! https://www.philipzucker.com/metatheory-progress/ 0 comments
- Rewriting Monoidal Categories in the Browser with Egg | Hey There Buddo! http://www.philipzucker.com/rust-category/ 0 comments
Related searches:
Search whole site: site:www.philipzucker.com
Search title: A Simplified E-graph Implementation | Hey There Buddo!
See how to search.