blob: e6d96921bf6d7da66b93d761cc4acc55aac8c198 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# Sharing equality of $\lambda$-graphs
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
International Symposium on Principles and Practice of Declarative
Programming. 2019.
|
