search

taktoa / eqsat

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

Write property tests for `EqSat.TermIndex.Class` #16

Open taktoa opened 6 years ago

taktoa commented 6 years ago