4 ms·Long live the first Knight of the Lambda Calculus!by sspencer 15y agoLong live the first Knight of the Lambda Calculus!