search

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Other
10.93k stars 587 forks source link

Lean code snippets for Sec 1.3 #327

Closed williamdemeo closed 9 months ago

williamdemeo commented 9 months ago

Oops, I didn't mean to push this upstream. Sorry!