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.
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
You can submit as many times as you like. Only your latest submission will be taken into account.
Sign in to test your solution.