milewski-ctfp-pdf
milewski-ctfp-pdf copied to clipboard
hmemcpy
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Firstly huge thank you for this - it is such a fantastic valuable resource. I can't help asking if there could be any way to get section numbering into the...
> "Now I want you to forget that you are dealing with the set of natural numbers and just think of it as a single object, a blob with a...
The _Index_ provided at the back of the book, which is a mere 2 pages, seems incomplete. For example I can locate neither `epimorphism` nor `monomorphism`, which Bartosz discusses in...
Since the book focuses heavily on types, I think that the C++ keyword typename is more appropriate, clear and avoids confusion for those less experienced with C++, and I think...
- Get rid of module declarations - Use only OCaml Stdlib - Rename composition operator to `(%)` due to operator precedence issues
I feel like we need to include such explanation, because at my first read, I was left hanging about what is the purpose of Kleisli Categories. After all, this book...
This commit adds a Dockerfile and instructions for building the project using the docker image. The intent was to make it easier to build this project without needing to have...
In repository root directory `$ nix-shell` got: `unpacking 'https://github.com/edolstra/flake-compat/archive/cecfd08d13ddef8a79f277e67b8084bd9afa1586.tar.gz'...` `unpacking 'https://api.github.com/repos/numtide/flake-utils/tarball/a586a6b966d59f53f45a04f8891fbc017dc09dbe'...` `error: nix-shell requires a single derivation` `Try 'nix-shell --help' for more information.` Did I do it incorrectly? OS: Mac...
There are pdf files built for the books in each release and tag. But I couldn't find the pdf files for the covers, only tex source files. And it seems...
