Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitutiongithub.com/sweirich4 pointsfanf2a year ago