meow-master.zip
(预估有个31文件)
meow-master
docs
_layouts
main.html
252B
base.html
319B
_site
.nodelete
0B
index.md
202B
shell.nix
69B
.github
workflows
test.yml
730B
release.yml
2KB
src
test
scala
DependentTypes2.scala
2KB
ApplicativeSpec.scala
1KB
PhantomTypes.scala
663B
KanExtensions.scala
2KB
DependentTypes.scala
1KB
MonadSpec.scala
1KB
GADT.scala
753B
FunctionK.scala
734B
FunctorSpec.scala
758B
main
scala
Applicative.scala
2KB
Functor.scala
1KB
KanExtensions.scala
2KB
Prelude.scala
134B
Monad.scala
1KB
Alternative.scala
629B
.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
暂无评论