granule-project/granule
@granule-project具备分级模态类型的静态类型线性函数式语言，可用于细致的程序推导
星数
733
Fork 数
45
语言
Haskell
许可
BSD-3-Clause
最后推送
2个月前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
具备分级模态类型的静态类型线性函数式语言，可用于细致的程序推导
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。