Church getallen

Log in om je oplossingen te testen.
-- 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

Je kunt zo vaak indienen als je wenst. Er wordt enkel rekening gehouden met je laatst ingediende oplossing.
Log in om je oplossingen te testen.