-- Deze definities worden gebruikt voor de testen zero = \f -> \x -> x one = \f -> \x -> f x two = \f -> \x -> f (f x) getNum church = church (+1) 0 -- Tel 1 op bij een gegeven Church getal. increment cNum = undefined -- Zet een nummer om naar zijn Church representatie. numToChurch num = undefined -- Tel twee Church getallen bij elkaar op. add cNumA cNumB = undefined -- Vermenigvuldig twee Church getallen. mul cNumA cNumB = undefined