curious-ocaml icon indicating copy to clipboard operation
curious-ocaml copied to clipboard
verified publisher icon lukstafi

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

Open lukstafi opened this issue 2 years ago • 1 comments

Preface It implements many algebraic / category-theoretic abstractions.

lukstafi avatar Sep 10 '23 07:09 lukstafi

GitHub page

lukstafi avatar Sep 10 '23 07:09 lukstafi