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 上查看原仓库