索引
ページ番号付きの索引は PDF 版にあります。 ページという単位が HTML には無いので、 この版では索引の代わりに次の3つを使ってください。
- 上の検索（虫眼鏡アイコン、または
sキー）— 全文検索です。用語を引くならこれが いちばん速いです。 - 左の目次 — 章と節をたどれます。
- 付録 — それぞれが特定の主題の一覧そのものになっています。
| 引きたいもの | 見る場所 |
|---|---|
| 文法・キーワード・演算子・型・評価規則 | 付録A 言語リファレンスマニュアル |
| prelude の関数（全41個の型と例） | 付録B 標準ライブラリリファレンス |
| 診断コード（全31個） | 付録C 診断コード一覧 |
| CLI と REPL のコマンド | 付録D CLI・REPL コマンドリファレンス |
| なぜそう設計されているのか | 付録E Lune の設計と、これから |
PDF 版（books/tools/build_pdf.sh で生成）では、このページが用語とページ番号の一覧に
差し替わります。索引語は books/tools/book_pages.py の CONCEPTS に定義してあり、
ページ番号は組み上がった PDF から実測したものです。