Lambda normalization and conversion checking benchmarks for various implementations
Why do you think that https://github.com/csabahruska/manual-stg-experiment is a good alternative to normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
Why do you think that https://github.com/csabahruska/manual-stg-experiment is a good alternative to normalization-bench