diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..d48ae96 --- /dev/null +++ b/readme.md @@ -0,0 +1,8 @@ +# 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. |