GitHub repository: simedw/PureEqSat
Primary language: Haskell
Description: Equality Saturation for a small pure language