zvi:面向世界的纯函数依赖类型延迟评估逻辑编程语言

时间:2024-07-04 11:25:56
【文件属性】:

文件名称:zvi:面向世界的纯函数依赖类型延迟评估逻辑编程语言

文件大小:2KB

文件格式:ZIP

更新时间:2024-07-04 11:25:56

兹维 面向世界的纯函数依赖类型延迟评估逻辑编程语言


【文件预览】:
zvi-master
----LICENSE(1KB)
----spec.zvi(3KB)
----README.md(100B)

网友评论