how can I define a "simplify" function using primitive recursion?
simplify :: Expr β Expr ...
simplify Simplify the expression using basic arithmetic, for example. simplify (Plus (Var "x") (Const 0)) = Var "x"
No one has answered this question yet
See similar questions:
or similar: