doc: add links to README.md or README.ko.md

chabulhwi · Oct 9, 2024 · 17cfca6 · 17cfca6
1 parent 7426c96
commit 17cfca6
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 0 deletions.
diff --git a/README.ko.md b/README.ko.md
@@ -1,5 +1,7 @@
 # tpil-solutions
 
+[English (영어)](./README.md) | 한국어
+
 [제러미 아비가드][ja], [레오나르두 지 모라][ldm], [공순호][sk], [제바스티안 울리히][su] 님이 저술하고, [린 커뮤니티][lean-comm]의 기여를 받아 개정된 ["린 4로 하는 정리 증명"][tpil]의 제 연습 문제 풀이가 이 저장소에 들어 있습니다. 이 저작물은 [아파치 라이선스, 버전 2.0](./LICENSE)의 조건에 따라 재이용할 수 있습니다.
 
 교재 각 장의 퀴즈와 제 풀이도 이 저장소에 포함했습니다.

diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # tpil-solutions
 
+English | [한국어[Korean]](./README.ko.md)
+
 This is the repository for my solutions to the exercises in ["Theorem Proving in
 Lean 4"][tpil] by [Jeremy Avigad][ja], [Leonardo de Moura][ldm], [Soonho
 Kong][sk] and [Sebastian Ullrich][su], with contributions from the [Lean

diff --git a/docs/ko/README.md b/docs/ko/README.md
@@ -1,5 +1,7 @@
 # tpil-solutions
 
+[English (영어)](./README.md) | 한국어
+
 [제러미 아비가드][ja], [레오나르두 지 모라][ldm], [공순호][sk], [제바스티안 울리히][su] 님이 저술하고, [린 커뮤니티][lean-comm]의 기여를 받아 개정된 ["린 4로 하는 정리 증명"][tpil]의 제 연습 문제 풀이가 이 저장소에 들어 있습니다. 이 저작물은 [아파치 라이선스, 버전 2.0](./LICENSE)의 조건에 따라 재이용할 수 있습니다.
 
 교재 각 장의 퀴즈와 제 풀이도 이 저장소에 포함했습니다.

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -659,6 +659,14 @@ triple &lt;g6&gt;&lt;loving, b, a&gt;&lt;/g6&gt;.</seg>
         <seg>제거 규칙</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>English | &lt;g1&gt;한국어[Korean]&lt;/g1&gt;</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20241009T161507Z" creationid="chabulhwi" creationdate="20241009T161407Z">
+        <seg>[English (영어)](./README.md) | 한국어</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>Equivalence</seg>