Knights of the Lambda Calculus