8.5章 pitfalls (#75)

* 翻訳開始 * 翻訳完了 * 誤字修正 * セルフレビュー
lean-ja · Aug 25, 2024 · ebfc633 · ebfc633
1 parent 3a24ec1
commit ebfc633
Show file tree

Hide file tree

Showing 2 changed files with 267 additions and 2 deletions.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -57,7 +57,7 @@
   - [ユニバースによるデザインパターン](dependent-types/universe-pattern.md)
   - [使用事例：型付きクエリ](dependent-types/typed-queries.md)
   - [添字・パラメータ・宇宙レベル](dependent-types/indices-parameters-universes.md)
-  - [Pitfalls of Programming with Dependent Types](dependent-types/pitfalls.md)
+  - [依存型プログラミングの落とし穴](dependent-types/pitfalls.md)
   - [Summary](./dependent-types/summary.md)
 - [Interlude: Tactics, Induction, and Proofs](./tactics-induction-proofs.md)
 - [Programming, Proving, and Performance](programs-proofs.md)