文件名称：idris101:一群有兴趣学习 Idris 语言的人的学习项目
文件大小：5KB
文件格式：ZIP
更新时间：2024-07-13 20:38:57
Idris
伊德里斯101 目标 这是一群有兴趣学习的人的学习项目， 是一种具有的函数式编程语言。 目标是在我们参加（可能是 2015 年 11 月）用 Idris 语言编写。 如果成功，我们都可以像让-克洛德一样： 会员 安德鲁琼斯 - @andrewscj - UTC+0 (DST) Frank Bedlam - 我不发推文 - UTC+0 (DST) Ryan Roberts - @ryansroberts - UTC+0 (DST) Jason Imison - @nosami - UTC+0 (DST) Lee Crossley - @lee_crossley - UTC+0 (DST) Tom Janssens - @ToJans - UTC+1 (DST) Koen Metsu - @koenmetsu - UTC+1 (DST) Jef Claes - @JefCla
【文件预览】：
idris101-master
----katas()
--------001()
--------002-bowling()
----LICENSE(1KB)
----.gitignore(35B)
----README.md(2KB)