B01 Krokodyle i rachunek lambda