taktoa/eqsat

A language-generic implementation of equality saturation in Haskell

语言：Haskell · GitHub 星标：22 · Fork：3

话题：compiler · equality-saturation · haskell · optimization · term-indexing · theorem-prover

在 GitHub 上查看原仓库