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.
Pattern Matching in CPS
Sign in to test your solution.
data Exp r = Exp (r
-> r
-> (Int -> r)
-> (Exp r -> Exp r -> r)
-> (Exp r -> Exp r -> r)
-> r)
zero, one :: Exp r
zero = undefined
one = undefined
const :: Int -> Exp r
const x = undefined
plus = undefined
mult = undefined
evaluate :: Exp Int -> Int
evaluate = undefined