idris-lang/Idris2

一种具有一等类型的纯函数式编程语言

↗ 在 GitHub 打开

星数

3,060

Fork 数

418

语言

Idris

许可

NOASSERTION

最后推送

3天前

Idris hacktoberfest compiler dependent-types

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。