...joined 14 years ago, and has 6161 karma
submissions / comments / favourites
λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))