GitHub repository: AndrasKovacs/normalization-bench
Primary language: Haskell
Created: 2020-01-16T11:12:48Z
Description: Lambda normalization and conversion checking benchmarks for various implementations