reduction翻訳 (#20)

* 翻訳開始 * 翻訳完了
lean-ja · Nov 3, 2024 · b82f20b · b82f20b
1 parent 462a062
commit b82f20b
Show file tree

Hide file tree

Showing 2 changed files with 136 additions and 47 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -21,6 +21,6 @@
     - [帰納型の知られざる一生](./declarations/inductive.md)
 - [型推論](./type_checking/type_inference.md)
 - [定義上の同値](./type_checking/definitional_equality.md)
-- [Reduction](./type_checking/reduction.md)
+- [簡約](./type_checking/reduction.md)
 - [Open issues & future work](./future_work.md)
 - [Further reading](./further_reading.md)