hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-26 12:44:57 +03:00
Code Issues Projects Releases Wiki Activity
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
64 Commits 2 Branches 52 Tags 107 MiB
TeX 79.3%
OCaml 5.2%
Reason 5.1%
Scala 5.1%
Haskell 2.9%
Other 2.4%
244f719528
Go to file
Igal Tabachnik 244f719528 Adjusting fonts and removing absolute path on the cover page 
This fixes #37
2017-09-30 21:36:07 +03:00
src Adjusting fonts and removing absolute path on the cover page 2017-09-30 21:36:07 +03:00
.gitignore Adding ‘minted’ for syntax highlighting 2017-09-22 21:32:03 +03:00
category-theory-for-programmers.pdf Adjusting fonts and removing absolute path on the cover page 2017-09-30 21:36:07 +03:00
README.md First release! 2017-09-30 13:21:24 +03:00

README.md

Category Theory for Programmers

Category Theory for Programmers

Direct link: category-theory-for-programmers.pdf (v0.1, September 2017)

This is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his blogpost series.

Conversion is done by scraping the blog with Mercury Web Parser to get a clean HTML content, modifying and tweaking with Beautiful Soup, finally, converting to LaTeX with Pandoc. See scraper.py for additional information.

Note: this is a work in progress! Please report any formatting/content issues, or better yet, send a PR!

Acknowledgements

PDF source and the tools to create it are based on the work by Andres Raba et al., available here: https://github.com/sarabander/sicp-pdf.
The book content is taken, with permission, from Bartosz Milewski's blogpost series, and adapted to the Texinfo/LaTeX format.

Thanks to the following people for contributing corrections/conversions:

  • Oleg Rakitskiy

License

The PDF book, .tex files, and associated images and figures in directories src/fig and src/content are licensed under Creative Commons Attribution-ShareAlike 4.0 International License (cc by-sa).

The script files scraper.py and others are licensed under GNU General Public License version 3 (for details, see src/LICENSE).