Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution github.com 4 points by fanf2 18 hours ago