/hash-modulo-alpha-ps

A purescript port of Microsoft Research's hash-modulo-alpha

Primary LanguagePureScriptMIT LicenseMIT

Hashing Modulo Alpha-Equivalence

This repository is a PureScript port of the supporting code for the "Hashing Modulo Alpha-Equivalence" paper.

Install

pnpm i && pnpm spago build

Run the tests

pnpm spago run --exec-args "test"

Run the benchmarks

Don't run the benchmarks. There's lots of iterator-like structures in the benchmarks that assume laziness and blow up in a strict environment. PRs are welcome!