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