>
cd ~
posts
tree
whoami
Juan Pablo Yamamoto
λ f . (λ x . f (x x)) (λ x . f (x x))