HoTT 関連まとめ

ホモトピー型理論へのリンクなどをまとめている。