Len zopar otazok: Referencne typy, Curry-Howardova korespondencia, rozdiely medzi Curryho a Churchovym typovanim l-kalkulom
priklad v pohode, vyhodnotit term, zistit jeho velkost, pripadne vyhodnotit term ktory bol sucinoveho typu, bol aj ten priklad na sucinovy typ Muz, Zena