An attempt at implementing Hashing Modulo Alpha- Equivalence in erlang
As per the algorithms mentioned in the paper: https://arxiv.org/abs/2105.02856
tanvimoharir/hashAlpha
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An attempt at implementing Hashing Modulo Alpha- Equivalence in erlang
As per the algorithms mentioned in the paper: https://arxiv.org/abs/2105.02856