8.3章 typed-queries (#73)

* 翻訳開始 * 翻訳完了 * 誤記修正 * セルフレビュー
lean-ja · Aug 25, 2024 · 04865a3 · 04865a3
1 parent 95a29de
commit 04865a3
Show file tree

Hide file tree

Showing 2 changed files with 559 additions and 1 deletion.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -55,7 +55,7 @@
 - [依存型によるプログラミング](dependent-types.md)
   - [添字族](dependent-types/indexed-families.md)
   - [ユニバースによるデザインパターン](dependent-types/universe-pattern.md)
-  - [Worked Example: Typed Queries](dependent-types/typed-queries.md)
+  - [使用事例：型付きクエリ](dependent-types/typed-queries.md)
   - [Indices, Parameters, and Universe Levels](dependent-types/indices-parameters-universes.md)
   - [Pitfalls of Programming with Dependent Types](dependent-types/pitfalls.md)
   - [Summary](./dependent-types/summary.md)