Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source
HTML
251
764 commits
updated Jun 9, 2026
バルトシュ・ミレフスキー著『プログラマーのための圏論』の非公式markdown版(原著者の公開許可済みの日本語訳を含む)
An unofficial markdown version of "Category Theory For Programmers" by Bartosz Milewski, based on:
cd english/ (or cd japanese/ if you want to build Japanese version)pandoc -d ../defaults_html.yaml --template=../html_templates/toc-sidebar.html --to=html5 -o index.htmlpandoc -d ../defaults_html.yaml --to=epub -o ctfp.epubpandoc -d defaults.yaml -o ctfp.pdf
To make the index available in PDF and/or fix "Missing character" warnings, you need to run the following commands:
pandoc -d defaults.yaml -o ctfp.tex
sed -i '' -f ../ensuremath.sed ctfp.tex
lualatex ctfp
upmendex -d index.dic ctfp
lualatex ctfp
html版はgithub pagesとしても公開しています。
764 commits
HTML
99.8%
Bartosz Milewski's 'Category Theory for Programmers' unofficial markdown source
HTML
251
764 commits
updated Jun 9, 2026
バルトシュ・ミレフスキー著『プログラマーのための圏論』の非公式markdown版(原著者の公開許可済みの日本語訳を含む)
An unofficial markdown version of "Category Theory For Programmers" by Bartosz Milewski, based on:
cd english/ (or cd japanese/ if you want to build Japanese version)pandoc -d ../defaults_html.yaml --template=../html_templates/toc-sidebar.html --to=html5 -o index.htmlpandoc -d ../defaults_html.yaml --to=epub -o ctfp.epubpandoc -d defaults.yaml -o ctfp.pdf
To make the index available in PDF and/or fix "Missing character" warnings, you need to run the following commands:
pandoc -d defaults.yaml -o ctfp.tex
sed -i '' -f ../ensuremath.sed ctfp.tex
lualatex ctfp
upmendex -d index.dic ctfp
lualatex ctfp
html版はgithub pagesとしても公開しています。
764 commits
HTML
99.8%