Opgepast! Het lijkt erop dat je Dodona gebruikt binnen een andere webpagina waardoor mogelijk niet alles goed werkt. Laat dit weten aan je lesgever zodat hij het probleem kan oplossen door een instelling in de leeromgeving aan te passen. Ondertussen kan je op deze link klikken om Dodona te openen in een nieuw venster.
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.