0

我将如何使用原始递归定义函数“简化”？

简化 :: Expr -> Expr
...

简化 使用基本算术简化表达式，例如简化 (Plus (Var "x") (Const 0)) = Var "x"

4

0 回答 0