'''Unlambda''' is a minimal, functional, esoteric language based on combinatory logic, specifically the S and K combinators.