Patch 1

[jacekchrzaszcz]

Literówki oraz brzydkie wypisywanie $ matematyki $$.

Dodatkowo:

• Piszesz f(f x) a nie f (f x) - W miejscu gdzie tłumaczysz S (w okolicach nazwiska Schönfinkel) to trochę przeszkadza... bo widać f x(f y) tak jakby to x było zaaplikowane do (...), a nie f x (f y).
• Programowanie całościowe -> Imperatywnie... kod w Pythonie: ciało pętli while ma złe wcięcie, chyba że tak miało być?
• Dlaczego typy? Bez typów (Python/JavaScript): ... w Pythonie też się w dzisiejszych czasach pisze typy.

[jacekchrzaszcz]

Jeszcze jedno:

• Haskell -> Leniwy (dokładniej: pobłażliwy, ang. non-strict) ->
  Daje pełną kompozycjonalność (take 3 . filter good . candidates)

To w Haskellu nie jest dobrze... powinny być $$ zamiast kropek? Albo jeszcze coś innego?