https://github.com/ruippeixotog/intro-to-category-theory

A presentation about some basic concepts of category theory

algebraic-data-types category-theory presentation shiftforward

Last synced: 27 Mar 2025