文件名称：idris-cats:伊德里斯语言中的一些范畴论
文件大小：27KB
文件格式：ZIP
更新时间：2024-06-28 05:31:34
Idris
伊德里斯猫 伊德里斯语言中的一些范畴论 工作正在进行中
【文件预览】：
idris-cats-master
----delibc.sh(65B)
----LICENSE(1KB)
----src()
--------CategoryTheory.idr(301B)
--------CategoryTheory()
----.gitignore(18B)
----README.md(91B)