文件名称：NewEden:基于多态，基于公理的常见类型的实现
文件大小：12KB
文件格式：ZIP
更新时间：2024-06-14 08:03:12
Idris
新伊甸园 多态的，基于公理的常见类型的实现。
【文件预览】：
NewEden-master
----.gitignore(40B)
----README.md(68B)
----LICENSE(1KB)
----src()
--------NewEden()
----example()
--------Int64.idr(466B)
--------Abstract.idr(825B)
--------GMP.idr(1KB)
----package.ipkg(295B)