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

Risto-Stevcev/bastet

A ReasonML/Ocaml library for category theory and abstract algebra

语言:OCaml · GitHub 星标:214 · Fork:27

话题:abstract · abstract-algebra · algebra · bucklescript · category · category-theory · monad · monoid

在 GitHub 上查看原仓库

正在读取项目信息…