marvinborner/sharing-equality
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
CMIT
No issues in this repository yet.
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
CMIT
No issues in this repository yet.