Instead of introducing category theory by itself, discuss the `Preface` library

lukstafi / curious-ocaml

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

https://lukstafi.github.io/curious-ocaml/

GNU General Public License v3.0

25 stars 0 forks source link

Instead of introducing category theory by itself, discuss the `Preface` library #2

Open lukstafi opened 10 months ago

lukstafi commented 10 months ago

Preface It implements many algebraic / category-theoretic abstractions.

lukstafi commented 10 months ago

GitHub page