文件名称：idris-rosetta:通过 Rosseta Code 的任务学习 Idris
文件大小：8KB
文件格式：ZIP
更新时间：2024-07-04 11:37:19
Idris
伊德里斯-罗塞塔 通过 Rosseta Code 的任务学习 Idris
【文件预览】：
idris-rosetta-master
----Horner.idr(2KB)
----Task_100_doors.idr(2KB)
----README.md(76B)
----Rot13Utility.idr(1KB)
----Rot13.idr(3KB)
----Factorial.idr(1KB)
----Extreme_floating_point_values.idr(2KB)
----Flatten.idr(3KB)