diff options
Diffstat (limited to 'readme.md')
| -rw-r--r-- | readme.md | 22 |
1 files changed, 19 insertions, 3 deletions
@@ -1,8 +1,24 @@ -# Sharing equality +# Sharing equality of $\lambda$-graphs -An implementation of the algorithms presented in \[0\]. +A reference implementation of the algorithms presented in \[0\]. + +I documented my approach of building the shared $\lambda$-graph [in an +article](https://text.marvinborner.de/2023-05-30-16.html). + +## Instructions + +- `make && ./build/sharing file.blc` + +## Libraries + +- [hashmap.c](https://github.com/tidwall/hashmap.c) \[MIT\]: Simple but + efficient hashmap +- [xxHash](https://github.com/Cyan4973/xxHash/) \[BSD 2-Clause\]: + Extremely fast hash algorithm + +## References \[0\]: Condoluci, Andrea, Beniamino Accattoli, and Claudio Sacerdoti -Coen. "Sharing equality is linear." Proceedings of the 21st +Coen. “Sharing equality is linear.” Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming. 2019. |