>>40547795
Knight of The Lambda Calculus is an interesting name, for a couple reasons.
The most obvious is the "knight" connection.