https://github.com/uemurax/hott-ja

HoTT in Japanese
https://github.com/uemurax/hott-ja

Last synced: 3 months ago
JSON representation

HoTT in Japanese

• Host: GitHub
• URL: https://github.com/uemurax/hott-ja
• Owner: uemurax
• Created: 2023-02-03T05:15:56.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2023-10-01T03:37:45.000Z (about 1 year ago)
• Last Synced: 2024-06-30T10:22:41.073Z (5 months ago)
• Language: Racket
• Homepage: https://uemurax.github.io/hott-ja/
• Size: 1.26 MB
• Stars: 32
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# ホモトピー型理論

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

## 準備

### Racket

適当に[Racket](https://racket-lang.org/)をインストールします。

### MOrg

[MOrg](https://github.com/uemurax/morg)をインストールします。

```shell

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

```

### LaTeX

`latexmk`と`luatexja`が要ります。

足りないパッケージがあれば[action.yml](.github/actions/build/action.yml)を参考にします。

## ビルド

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

## ライセンス

[CC BY 4.0](https://creativecommons.org/licenses/by/4.0/)