文件名称：hindley-milner-type-inferencer:miniKanren 中的关系 Hindley-Milner 类型推理器。 支持多态“让”。 执行类型居住
文件大小：9KB
文件格式：ZIP
更新时间：2024-07-14 03:10:05
Scheme
hindley-milner-type-inferencer miniKanren 中的关系 Hindley-Milner 类型推理器。 支持多态“让”。 执行类型居住。
【文件预览】：
hindley-milner-type-inferencer-master
----LICENSE(1KB)
----mk.scm(22KB)
----README.md(146B)
----type-inferencer.scm(20KB)
----test-check.scm(391B)