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.
Warning! The page was not fully loaded, probably because of a network issue. It could be that not all functionalities work as expected. Please try reloading the page.
Haskell exercise
Church booleans
Sign in to hand in your solution and get feedback.
cTrue = \x -> \y -> x
cFalse = undefined
cbToHask cb = undefined
haskToCb b = undefined
andC cb1 cb2 = undefined
orC cb1 cb2 = undefined
notC cb1 = undefined