search

egraphs-good / eggcc

MIT License
42 stars 8 forks source link

Add sugar for constructing terms in input schema #318

Closed oflatt closed 7 months ago

oflatt commented 7 months ago

Closing for now, will open a new PR for this