clearlife

摘要： 表达式求值 表达式 表达式 = 值 | 表达式 + 表达式 data Expr = Val Int | Add Expr Expr | Mul Expr Expr 操作 操作 = 求值表达式 | + n 上下文: 表达式对应的操作序列 data Op = LeftAdd Expr | RightAd 阅读全文

摘要： 命题恒真性检查器 表达式 data Prop = Const Bool -- 值 | Var Char -- 变量 | Not Prop -- 否定 | And Prop Prop -- 合取 | Imply Prop Prop -- 蕴含 数据准备 graph LR A(表达式) --> B(变量 阅读全文