Lambda Calculus Benchmark for AIvictortaelin.github.io
94 points by marvinborner 7 hours ago | 31 comments