玉米编程语言
由 GoldenStack
#507 在 编程语言
35KB 558 行
玉米是一种基于 Haskell、Idris、Agda 等语言的纯函数式编程语言。
请随意提交 PR 或问题。
在开始大型 PR 之前，请确保与维护者确认。
GNU GPLv3
~2.5MB ~40K SLoC