search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

Add typing rules for functions/calls #298

Closed ajpal closed 9 months ago