https://9lib.org/document/yr3057m7-rachunek-lambda-lato.html