molikto/normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
HaskellMIT
No issues in this repository yet.
Lambda normalization and conversion checking benchmarks for various implementations
HaskellMIT
No issues in this repository yet.