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