sweirich/lambda-calculus not found