search

taktoa / eqsat

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

Spin off EqSat.TermIndex.* into a separate package #9

Open taktoa opened 6 years ago

taktoa commented 6 years ago

Our term indexing data structures could be useful for other Haskell projects, such as Hoogle or Idris or Agda. We should put them in a separate package, ideally with not too many dependencies.