/normalization-bench

Benchmarking various normalization algorithms for the lambda calculus

Primary LanguageOCaml

Watchers