Lambda normalization and conversion checking benchmarks for various implementations
Primary LanguageHaskellMIT LicenseMIT