term-indexing

There are 0 repository under term-indexing topic.

taktoa / eqsat
A language-generic implementation of equality saturation in Haskell
compiler equality-saturation haskell theorem-prover term-indexing optimization
Language:Haskell 21

taktoa / eqsat