Sign inSign up

alt-romes/hegg

Fast equality saturation in Haskell

HaskellStars 91Forks 12Watchers 91Open issues 15License BSD 3-Clause "New" or "Revised" License
Details
仓库信息
Owneralt-romes
Homepagehttps://hackage.haskell.org/package/hegg
GitHubhttps://github.com/alt-romes/hegg
Last pushed2025-10-29
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--