'''Binary Lambda Calculus''' is a minimal, pure, functional, esoteric language based on lambda calculus. External links Esoteric languages wiki page Category:Esoteric Languages