当前分类：redex

haskell - 这个 Haskell 表达式中的 redexes 是什么？

racket - 扩展归约关系

racket - 为什么我需要 Redex 中的评估上下文？

makefile - 构建redex时请安装双转换库

racket - Reduction-relation 的 in-hole 可能以多种不同的方式匹配一个孔

热门标签：

编程
数据结构与算法
其他

©2024 IT工具网  联系我们