fix: corrections to i18n PR Issues

docs/intro.md

@@ -6,7 +6,7 @@ sidebar_position: 1
 
 RowScript 是一种新的 JavaScript 方言，旨在大大改善两类 Web 开发者的使用体验：
 
-* 应用程序开发者：开发者应该使用强大的工具、框架和灵活的类型系统来编写他们的应用程序
+* 应用程序开发者：开发者应该使用强大的工具、框架和灵活的类型系统来编写他们的应用程序。
 * 库（轮子）开发者：开发者应该能够以较少的类型体操来编写他们的库，这些类型体操通常是杂乱无章且非平凡。
 
 通过使用 RowScript 的工具和类型系统，允许您编写更具扩展性和可伸缩性的代码。

docs/why/general.md

@@ -12,7 +12,7 @@ sidebar_position: 1
 >
 > -- Jon Sterling, [Make Three To Throw Away], WITS '22
 
-通过 `Totality`, 每一个可能的计算都将在编译期间执行，并且得益于依值类型系统，这些计算结果可以作为一些有用的类型信息。这使得库的作者能够开发出更优秀的框架，不再需要依赖过多的技巧或临时，奇怪的解决方案，最重要的是，它提供了优秀且交互式的**类型调试支持**。
+在编译过程中，通过彻底地 (`By totality`) 执行所有可能的计算，结合依值类型系统，我们能够将这些计算结果转化为实用的类型信息。这一机制使得库作者能够构建更优秀的框架，减少对技巧和变通方法的依赖。最重要的是，它提供了良好且交互式的**类型调试支持**。
 
 [Make Three To Throw Away]: https://www.jonmsterling.com/slides/sterling-2022-wits.pdf
 
@@ -22,7 +22,7 @@ sidebar_position: 1
 >
 > -- Ryan Dahl, [JavaScript Containers]
 
-JavaScript 无处不在，我们首先将代码生成目标定位于它，而不是 WebAssembly，因为我们相信这种通用语言的强大能力，除非它得到现代语言工具的帮助。:)
+JavaScript 因其无处不在的特性，我们首选将代码编译到 JavaScript，而非 WebAssembly，这是因为我们相信，在现代编程语言工具的支持下，这种通用语言的强大潜力。 :)
 
 [JavaScript Containers]: https://tinyclouds.org/javascript_containers
 

i18n/en-us/docusaurus-plugin-content-pages/indexContents.json

@@ -1,4 +1,4 @@
 {
   "rowingWithTypes": "Start Rowing with Types! 🚣",
-  "tagline": "一种具有健壮类型的函数式编程语言，可编译为高效可靠的 JavaScript。"
+  "tagline": "A robustly-typed functional language that compiles to efficient and reliable JavaScript."
 }

src/pages/index.js

@@ -16,7 +16,7 @@ function HomepageHeader() {
     <header className={clsx('hero hero--primary', styles.heroBanner)}>
       <div className="container">
         <h1 className="hero__title">{siteConfig.title}</h1>
-        <p className="hero__subtitle">{indexContents.tagline.title}</p>
+        <p className="hero__subtitle">{indexContents.tagline}</p>
           <div className={styles.buttons}>
             <Link
               className="button button--secondary button--lg"