A ReasonML/Ocaml library for category theory and abstract algebra
algebra
monad
category-theory
monoid
semigroup
bucklescript
theory
prelude
reasonml
abstract
category
semiring
abstract-algebra
reason
semigroupoid
-
Updated
Feb 1, 2023 - OCaml