milewski-ctfp-pdf

该项目提供 Bartosz Milewski 所著《Category Theory for Programmers》的非官方 PDF 与 LaTeX 源码，基于作者授权的博客文章系列整理而成。支持多语言版本（Haskell、Scala、OCaml、Reason）构建，采用 Nix 构建系统和 LaTeX 排版，可一键生成高质量 PDF 文档。适用于函数式编程学习者、类型理论研究者及希望将范畴论应用于编程实践的开发者，尤其适合需离线阅读、定制修改或参与协作改进教材的技术人员。