Guest0x0 normalization-bench issues - Githubissues

Guest0x0 / normalization-bench

Benchmarking various normalization algorithms for the lambda calculus

43 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Set runtime GC options

#3 AndrasKovacs opened 1 year ago
0
Prefer input terms which could have been hand-written

#2 AndrasKovacs opened 1 year ago
5
Fix minor typoes

#1 ice1000 closed 2 years ago
0