# Sharing equality

An implementation of the algorithms presented in \[0\].

\[0\]: Condoluci, Andrea, Beniamino Accattoli, and Claudio Sacerdoti
Coen. "Sharing equality is linear." Proceedings of the 21st
International Symposium on Principles and Practice of Declarative
Programming. 2019.