← All repos

alt-romes/hegg

View on GitHub ↗ ★ 99 Haskell

Fast equality saturation in Haskell

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2022-07-22 · latest 2025-05-15