miniKanren-occurrence-type-inferencer

时间:2024-07-11 11:09:44
【文件属性】:

文件名称:miniKanren-occurrence-type-inferencer

文件大小:3KB

文件格式:ZIP

更新时间:2024-07-11 11:09:44

Scheme

miniKanren中的出现类型推断器 或者从一个开始,在这一点上。 来自与 Ambrose Bonnaire-Sergeant。 应该实现论文的推理规则。 下一步是实现图 9 中的类型更新。


【文件预览】:
miniKanren-occurrence-type-inferencer-master
----.gitmodules(102B)
----README.md(394B)
----inferencer.scm(5KB)
----mk()

网友评论