search

Guest0x0 / normalization-bench

Benchmarking various normalization algorithms for the lambda calculus
43 stars 2 forks source link

Fix minor typoes #1

Closed ice1000 closed 2 years ago

ice1000 commented 2 years ago

As title