search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree unique] Typechecking terms without loops #238

Closed rtjoa closed 9 months ago