Add `Subst` rule that creates a new context as it substitutes. - Githubissues

egraphs-good / eggcc

MIT License

42 stars 8 forks source link

Add `Subst` rule that creates a new context as it substitutes. #341

Closed oflatt closed 7 months ago