programming-in-idris:按照 Idris 教程，也在玩

【文件属性】：
文件名称：programming-in-idris:按照 Idris 教程，也在玩
文件大小：7KB
文件格式：ZIP
更新时间：2021-07-06 12:55:32
Idris 在 idris 中编程 遵循教程并稍微玩一下。

【文件预览】：
programming-in-idris-master
----hello.idr(56B)
----playground.idr(686B)
----foo.idr(373B)
----lambda.idr(820B)
----prims.idr(4KB)
----theorem.idr(2KB)
----syntax.idr(973B)
----README.md(109B)
----factorial.idr(160B)
----theorem2.idr(632B)
----interactive.idr(162B)
----Main.idr(112B)
----btree.idr(482B)