Source

lambda-translator / sample / test02.lambda

(lambda x. x x) (lambda x. x x)