Lepiej zredagowany rozdział o tożsamości Curry'ego-Howarda.
Poprawka do przykładu lambda-termu dla prawa Pierce'a.
Merge pull request #7 from sapal/master

Przeredagowanie rozdziału o tożsamości Curry'ego - Howarda.