September 22, 2010 Leave a comment
λf. (λx. f (λy. x x y)) (λx. f (λy. x x y))
Filed under Uncategorized
Get every new post delivered to your Inbox.
