GitHub repository: ktgw0316/milewski-ctfp-markdown
Primary language: HTML
Description: Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source