Warning! It seems that you are using Dodona within another webpage, so not everything may work properly. Let your teacher know so that he can solve the problem by adjusting a setting in the learning environment. In the meantime, you can click this link to open Dodona in a new window.
Church getallen
Sign in to test your solution.
-- 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
You can submit as many times as you like. Only your latest submission will be taken into account.
Sign in to test your solution.