Cieplak

...joined 8 years ago, and has 4955 karma

submissions / comments / favourites

λ𝑓.(λ𝑥.𝑓(𝑥 𝑥))(λ𝑥.𝑓(𝑥 𝑥))

https://github.com/cieplak