/egraph

An implementation of equality graph

Primary LanguageKotlinMIT LicenseMIT

Watchers