Cieplak
Joined 14 years ago, with 6168 karma
Submissions
Comments
Favorites
Follow via RSS
λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))