Talks on category-parametric programming.
语言:Scala · GitHub 星标:23 · Fork:2
话题:category-theory · presentation · scala
在 GitHub 上查看原仓库