本书是 The HoTT Book 的非官方翻译。 当前进度是第二章。
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License.
- 准备编译环境，参照原著的 README 文件。
- 使用命令
latexmk -xelatex -interaction=batchmode hott-online.tex
或 makefile
make hott-online.pdf
注意项目使用 xelatex 支持中文，但只做了必要的兼容。所以 makefile 无法直接使用，不再兼容 LaTeX 的 ifpdf 命令。
本项目使用的翻译辅助工具是 OmegaT 。 但是修改了它的 LaTeX 过滤器，暂时没有上传翻译库和词汇表到此项目中。