initial commit

README.md

@@ -0,0 +1,5 @@
+# Category Theory for Programmers
+## E-book version of Bartosz Milewski's blog post series
+
+HTML preview available [here](http://rnhmjoj.github.io/category-theory-for-programmers/src)
+

makefile

@@ -0,0 +1,32 @@
+title = 'category-theory-for-programmers'
+
+root = $(shell pwd)
+src  = $(root)/src
+init = $(src)/init/cover.html $(src)/init/table.html $(src)/init/preface.html
+chapters = $(shell find $(src)/part-* -name '*.html' | sort -V)
+
+all: pdf epub
+
+pdf:
+	cd $(src)/init;              \
+	pandoc                       \
+		$(init)                    \
+		$(chapters)                \
+		$(root)/opt/metadata.yaml  \
+		--standalone               \
+		--smart                    \
+		--number-sections          \
+		-H $(root)/opt/tex         \
+		--latex-engine=xelatex     \
+		-o $(root)/$(title).pdf
+
+epub:
+	cd $(src)/init;              \
+	pandoc                       \
+		$(init)                    \
+		$(chapters)                \
+		$(root)/opt/metadata.yaml  \
+		--standalone               \
+		--smart                    \
+		--number-sections          \
+		-o $(root)/$(title).epub

opt/metadata.yaml

@@ -0,0 +1,14 @@
+---
+title:
+- type: main
+  text: Category Theory for Programmers
+- type: subtitle
+  text: by Bartosz Milewski
+creator:
+- role: author
+  text: Bartosz Milewski
+- role: editor
+  text: Michele Guerini Rocco
+rights: © 2017 Bartosz Milewski
+stylesheet: style.css
+...

opt/tex

@@ -0,0 +1,11 @@
+\LetLtxMacro{\OldIncludegraphics}{\includegraphics}
+
+\usepackage[export]{adjustbox}
+\renewcommand{\includegraphics}[2][]{
+  \begin{center}
+    \OldIncludegraphics[max width=10cm,max height=6cm,#1]{#2}
+  \end{center}}
+
+\renewcommand{\floatpagefraction}{.8}%
+
+\newcommand{\sectionbreak}{\clearpage}

src/fonts/noto-serif.css

@@ -0,0 +1,31 @@
+@font-face {
+  font-family: "Noto Serif";
+  font-style: normal;
+  font-weight: normal;
+  src: local("Noto Serif"), url("regular.woff") format("woff");
+}
+
+
+@font-face {
+  font-family: "Noto Serif Bold";
+  font-style: normal;
+  font-weight: normal;
+  src: local("Noto Serif Bold"), url("bold.woff") format("woff");
+}
+
+
+@font-face {
+  font-family: "Noto Serif Bold Italic";
+  font-style: normal;
+  font-weight: normal;
+  src: local("Noto Serif Bold Italic"), url("bold-italic.woff") format("woff");
+}
+
+
+@font-face {
+  font-family: "Noto Serif Italic";
+  font-style: normal;
+  font-weight: normal;
+  src: local("Noto Serif Italic"), url("italic.woff") format("woff");
+}
+