文章 0 浏览 3
例如，这样它就可以像这样工作 toString(Var x)=“x”…
我将如何使用原始递归定义函数“简化”？ 简化 :: Expr -> 表达式 ... 简化 使用基本算术简化表达式，例如 简化 (Plus (Var "x") (Const 0)) = Var …
文章 0 评论 0
接受
