/sharing-equality

Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"

Primary LanguageCMIT LicenseMIT

No issues in this repository yet.