sweirich / lambda-n-ways

Benchmarks for capture-avoiding substitution
113Updated 3 weeks ago

Alternatives and similar repositories for lambda-n-ways:

Users that are interested in lambda-n-ways are comparing it to the libraries listed below