SK in egglog: part 4, extensional equality
Comments ⌘ Read more