【文件属性】：
文件名称：喵喵：DottyScala 3中的无猫类别理论喵喵〜
文件大小：17KB
文件格式：ZIP
更新时间：2021-02-15 16:32:19
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)