【文件属性】：
文件名称：miniKanren-occurrence-type-inferencer
文件大小：3KB
文件格式：ZIP
更新时间：2021-06-21 17:23:04
Scheme
miniKanren中的出现类型推断器
或者从一个开始，在这一点上。 来自与 Ambrose Bonnaire-Sergeant。
应该实现论文的推理规则。 下一步是实现图 9 中的类型更新。
【文件预览】：
miniKanren-occurrence-type-inferencer-master
----.gitmodules(102B)
----README.md(394B)
----inferencer.scm(5KB)
----mk()