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.84k stars 572 forks source link

Chapter1 LEAN snippets #300

Closed robertness closed 1 year ago

robertness commented 1 year ago

Sorry, meant this for my fork. I'd like to contribute to this repo but want to make sure ducks are in order first.

drupol commented 1 year ago

No problem.

If you plan to add this version of the book, then you should not remove what's already existing. In the commits of this PR, I noticed that you were removing things, but I think it's a bad idea if you want to have a LEAN version of the book within this project.

Good luck!