zesterer/tao
@zesterer一门具备泛型、类型类、和类型、模式匹配、一等函数、柯里化、代数效应、关联类型与良好诊断等功能的静态类型函数式语言。
星数
1,161
Fork 数
22
语言
Rust
许可
MPL-2.0
最后推送
1年前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
一门具备泛型、类型类、和类型、模式匹配、一等函数、柯里化、代数效应、关联类型与良好诊断等功能的静态类型函数式语言。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。