Cieplak

Created: 13 years ago
Karma: 6134
λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))