ホモトピー型理論

ホモトピー型理論 (Homotopy Type Theory, HoTT) を日本語で解説する文書です。

準備

Racket

適当にRacketをインストールします。

MOrg

MOrgをインストールします。

raco pkg install https://github.com/uemurax/morg

LaTeX

latexmkとluatexjaが要ります。 足りないパッケージがあればaction.ymlを参考にします。

ビルド

makeを実行するとHTML版とPDF版を生成し_site/にコピーします。

ライセンス

CC BY 4.0