[es] Caballeros del cálculo lambda

[ja] ラムダ計算騎士団

[zh] Λ演算骑士团