-->

Primitive recursion

2019-09-05 22:57发布

问题:

how will i define the function 'simplify' using primitive recursion?

simplify :: Expr -> Expr
...

simplify Simplify an expression using basic arithmetic, e.g. simplify (Plus (Var "x") (Const 0)) = Var "x"