Merge pull request #6 from sapal/master

Poprawki
Lepiej zredagowany rozdział o tożsamości Curry'ego-Howarda.