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

github.com/marvinborner/sharing-equality
by @marvinborner

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.