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 booleans
Sign in to test your solution.
cTrue = \x -> \y -> x
cFalse = undefined
cbToHask cb = undefined
haskToCb b = undefined
andC cb1 cb2 = undefined
orC cb1 cb2 = undefined
notC cb1 = 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.