Teoria typov

[Dodik]

po dlhom hladani som nasiel dobry matros pre ucenie sa na skusku...tak nech sa paci 

[Matejus]

Vypracované cvičenia z minulého roka:

http://dl.dropbox.com/u/4764904/tt_cvicenia_2010.pdf

[meki]

Vypracované cvičenia z minulého roka:

vdaka pekne spracovane    zo stavby spracovane prednasky nemas?

[MorFiuM]

vdaka obom

[deCode666]

Je tu niekto, kto by mi vedel prepisať jednu podmienku do lambda kalkulu?