Scheme : 10 Miranda: Num 10 Scheme : (+ 10 (* 2 3)) Miranda: Plus (Num 10) (Times (Num 2) (Num 3)) Scheme : (let ((x (+ 10 20)) (y 50)) (+ x y)) Miranda: (Let [ (Def "x" (Plus (Num 10) (Num 20))), (Def "y" (Num 50)) ] (Plus (Var "x") (Var "y")))