blob: b067948f32e0b471e3d84e4ac8625c3d4761cfef (
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).
This project does not really have any purpose except for the
implementation itself. Its usage requires some adaption and
modification.
## 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.
|
