文件名称：喵喵：DottyScala 3中的无猫类别理论喵喵〜
文件大小：17KB
文件格式：ZIP
更新时间：2024-03-07 10:18:59
scala category-theory dotty kan-extensions Scala
标题 布局 喵 主要的 分类理论中的实验性无猫Dotty / Scala 3，喵〜 GADT 等级N类型 功能K 幻影类型 函子 Extension扩展 用法 sbt test
【文件预览】：
meow-master
----docs()
--------_layouts()
--------_site()
--------index.md(202B)
----shell.nix(69B)
----.github()
--------workflows()
----src()
--------test()
--------main()
----.mergify.yml(184B)
----build.sbt(1KB)
----build.dhall(49B)
----.gitignore(483B)
----project()
--------plugins.sbt(187B)
--------build.properties(18B)
--------loadDhall.scala(354B)
----README.md(13B)
----.scala-steward.conf(61B)