/eqsat

A language-generic implementation of equality saturation in Haskell

Primary LanguageHaskellOtherNOASSERTION

Stargazers