Closed oflatt closed 7 months ago
See diff here: https://github.com/egraphs-good/eggcc/compare/main..oflatt-assume-rust Github uses "three dot" diff by default but we need a "two dot" diff to just see changes
See diff here: https://github.com/egraphs-good/eggcc/compare/main..oflatt-assume-rust Github uses "three dot" diff by default but we need a "two dot" diff to just see changes