开源雷达国内 GitHub 镜像站
加速通道已就绪 返回列表
全部项目

sellout/compiling-anything-to-categories

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

语言:Haskell · GitHub 星标:23 · Fork:2

话题:category-theory · ghc · ghc-plugin · haskell

在 GitHub 上查看原仓库

正在读取项目信息…