jcouyang/meow

Catless Category Theory in Dotty/Scala 3 meow ~

语言：Scala · GitHub 星标：43 · Fork：5

话题：category-theory · dotty · kan-extensions · scala

在 GitHub 上查看原仓库