文件名称:等级函数:等级半群,monoid和组
文件大小:9KB
文件格式:ZIP
更新时间:2024-03-23 05:41:48
Haskell
分级函子
【文件预览】:
graded-functors-main
----Setup.hs(46B)
----.github()
--------workflows()
----src()
--------Data()
----default.nix(843B)
----CONTRIBUTING.md(2KB)
----LICENSE(1KB)
----test()
--------MyLibTest.hs(90B)
----README.md(18B)
----cabal.project(11B)
----CHANGELOG.md(118B)
----graded-functors.cabal(1KB)