sweirich / lambda-n-ways

Benchmarks for capture-avoiding substitution
113Updated last month

Alternatives and similar repositories for lambda-n-ways:

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