首页
标签
plt-redex
Reduction-relation 的 in-hole 可能以多种不同的方式匹配一个 hole
使用 PLT-Redex 测试语义时仅生成类型正确的术语
尝试用 redex 定义一种小型语言
为什么我需要 Redex 中的评估上下文？
plt-redex：免费避免捕获替换？
Redex 不匹配
从还原关系中调用判断
如何在 PLT Redex 中实现等递归类型？
redex 术语中取消引号的省略号
使用 redex-check 打印成功
比较模型与 Redex 中的实现
Racket, PLT Redex, test-->E 不存在