Issues

• orderedVarsInQuery appears to sort, then dedupe (erasing the sort)

  alt-romes/hegg#59 · Filter by author mitchelldalvirosen-positron opened on Sep 22, 2026

• atom children are skipped in variable occurrence checks

  alt-romes/hegg#58 · Filter by author mitchelldalvirosen-positron opened on Sep 22, 2026

• runEqualitySaturation should be configurable

  alt-romes/hegg#56 · Filter by author mchav opened on Apr 5, 2026
  2

• Unify monadic and pure implementation

  alt-romes/hegg#55 · Filter by author alt-romes opened on Apr 5, 2026

• Scheduler: Allow configuring max number of iterations of rewrites

  enhancementgood first issuehelp wanted
  alt-romes/hegg#43 · Filter by author alt-romes opened on Oct 30, 2025 · v0.7
  1

• Release 0.7.0

  alt-romes/hegg#42 · Filter by author alt-romes opened on Oct 29, 2025 · v0.7
  2

• E-Analysis in test/Sym.hs

  alt-romes/hegg#35 · Filter by author Tarmean opened on Mar 5, 2024

• E-Matching Non-Canonical Nodes

  alt-romes/hegg#34 · Filter by author Tarmean opened on Mar 5, 2024
  3

• Direct rewrite rules

  alt-romes/hegg#29 · Filter by author jameshaydon opened on Sep 17, 2023
  4

• Refer to join semilattice in Analysis documentation

  documentationgood first issue
  alt-romes/hegg#28 · Filter by author alt-romes opened on Aug 22, 2023
  1

• Module wrapping e-graphs to use custom e-class-ids

  question
  alt-romes/hegg#23 · Filter by author alt-romes opened on Jul 29, 2023

• Parent nodes are not deduplicated

  alt-romes/hegg#21 · Filter by author Tarmean opened on Mar 8, 2023
  1

• Rename {find,canonicalize} to unsafe{Find,Canonicalize}

  alt-romes/hegg#1 · Filter by author aspiwack opened on Aug 26, 2022 · v0.3
  4