首页
标签
redex
判决中离奇违约
了解 Redex 中的 lambda 替换
Reduction-relation 的 in-hole 可能以多种不同的方式匹配一个 hole
如何在 Racket 中的自定义字典上创建字典映射?
我对可简化表达式(即 redex)的理解是否正确?
为什么我需要 Redex 中的评估上下文?
如何设置 Facebook Redex 以优化 Android 字节码?
在 OSX Yosemite 上编译 Facebook Redex
构建redex时请安装双转换库