Create Idris示例.idr - Githubissues

program-in-chinese / overview

中文编程的历史、现状和展望。issue 中进行相关问题的讨论.

https://zhuanlan.zhihu.com/codeInChinese

GNU General Public License v3.0

383 stars 34 forks source link

Create Idris示例.idr #153

Closed zaoqi closed 5 years ago

nobodxbodon commented 5 years ago

多谢。

zaoqi commented 5 years ago

註: Idris最近修復了一個相關的bug https://github.com/idris-lang/Idris-dev/issues/4698