Esolang:Sandbox

From Esolang

Cluck cluck. <math> x = \lambda f \to (f s) (\lambda x _ _ \to x) </math>

I like drinking lime juice.