所有者 · idris-lang

idris-lang

idris-lang 收录中的开源项目，按星标数排序。

共 1 个项目

#1
Idris2 ↗@idris-langIdris
一种具有一等类型的纯函数式编程语言
★ 3,060+8近 7 天星标变化

← 返回所有者排行