search

taktoa / eqsat

A language-generic implementation of equality saturation in Haskell
Other
21 stars 3 forks source link

you're valid #5

Closed chessai closed 6 years ago

chessai commented 6 years ago

this is proof. not 'eqsat', just my words