Lambda Calculus Benchmark for AI

by marvinborner | View on Hacker News