diff --git a/README.md b/README.md
index 73bf4ef..3e63863 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ A deductive system for logical inference, implemented in C++. The library provid
 
 - **C++ Core**: The core implementation in `src/` and `include/ds/` provides the fundamental data structures and algorithms
 - **Python Bindings**: Built with pybind11, wrapping the C++ core (see `apyds/`)
-- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `tsds/`)
+- **TypeScript/JavaScript Bindings**: Built with Emscripten, compiling C++ to WebAssembly (see `atsds/`)
 
 ## Features
 
diff --git a/atsds/tsds.mts b/atsds/index.mts
similarity index 100%
rename from atsds/tsds.mts
rename to atsds/index.mts
diff --git a/docs/examples/sudoku.md b/docs/examples/sudoku.md
index 42af01a..3142ed5 100644
--- a/docs/examples/sudoku.md
+++ b/docs/examples/sudoku.md
@@ -21,7 +21,7 @@ The Sudoku solver encodes Sudoku rules as logical inference rules in the DS syst
 <script>
 (async () => {
   const vue = await import("https://unpkg.com/vue@3.5.25/dist/vue.esm-browser.prod.js");
-  const atsds = await import("https://unpkg.com/atsds@0.0.2/dist/tsds.mjs");
+  const atsds = await import("https://unpkg.com/atsds@0.0.4/dist/index.mjs");
   const { loadModule } = await import("https://unpkg.com/vue3-sfc-loader@0.9.5/dist/vue3-sfc-loader.esm.js");
 
   const options = {
diff --git a/docs/getting-started/installation.md b/docs/getting-started/installation.md
index d6bb655..9455245 100644
--- a/docs/getting-started/installation.md
+++ b/docs/getting-started/installation.md
@@ -26,7 +26,7 @@ The package works in browsers that support WebAssembly:
 
 ```html
 <script type="module">
-  import { term_t } from "https://unpkg.com/atsds/dist/tsds.mjs";
+  import { term_t } from "https://unpkg.com/atsds/dist/index.mjs";
   
   const term = new term_t("(hello world)");
   console.log(term.toString());
diff --git a/examples/main.mjs b/examples/main.mjs
index b04749f..09b6a79 100644
--- a/examples/main.mjs
+++ b/examples/main.mjs
@@ -1,4 +1,4 @@
-import { rule_t, search_t, buffer_size } from "../atsds/tsds.mts";
+import { rule_t, search_t, buffer_size } from "../atsds/index.mts";
 
 function main() {
     const temp_data_size = 1000;
diff --git a/package.json b/package.json
index fb4b8f7..97c91fe 100644
--- a/package.json
+++ b/package.json
@@ -8,14 +8,14 @@
         "url": "https://github.com/USTC-KnowledgeComputingLab/ds.git"
     },
     "type": "module",
-    "exports": "./dist/tsds.mjs",
-    "main": "dist/tsds.mjs",
-    "module": "dist/tsds.mjs",
-    "browser": "dist/tsds.mjs",
-    "types": "dist/tsds.d.mts",
+    "exports": "./dist/index.mjs",
+    "main": "dist/index.mjs",
+    "module": "dist/index.mjs",
+    "browser": "dist/index.mjs",
+    "types": "dist/index.d.mts",
     "files": [
-        "dist/tsds.d.mts",
-        "dist/tsds.mjs"
+        "dist/index.d.mts",
+        "dist/index.mjs"
     ],
     "scripts": {
         "emcc": "emcc -std=c++20 atsds/ds.cc src/*.cc -Iinclude -lembind -o atsds/ds.mjs --emit-tsd ds.d.mts -O3 -ffast-math -flto -s ALLOW_MEMORY_GROWTH=1 -s SINGLE_FILE=1",
diff --git a/rollup.config.mjs b/rollup.config.mjs
index d553929..881d921 100644
--- a/rollup.config.mjs
+++ b/rollup.config.mjs
@@ -6,7 +6,7 @@ import { dts } from "rollup-plugin-dts";
 export default [
     {
         input: {
-            tsds: "atsds/tsds.mts",
+            index: "atsds/index.mts",
             example: "examples/main.mjs",
         },
         output: {
@@ -18,7 +18,7 @@ export default [
     },
     {
         input: {
-            tsds: "atsds/tsds.mts",
+            index: "atsds/index.mts",
         },
         output: {
             dir: "dist",
diff --git a/tests/test_item.mjs b/tests/test_item.mjs
index f89509c..69923a2 100644
--- a/tests/test_item.mjs
+++ b/tests/test_item.mjs
@@ -1,4 +1,4 @@
-import { item_t, buffer_size } from "../atsds/tsds.mts";
+import { item_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_list.mjs b/tests/test_list.mjs
index 6f5dbf7..14737d3 100644
--- a/tests/test_list.mjs
+++ b/tests/test_list.mjs
@@ -1,4 +1,4 @@
-import { list_t, buffer_size } from "../atsds/tsds.mts";
+import { list_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_rule.mjs b/tests/test_rule.mjs
index dbcc897..faea126 100644
--- a/tests/test_rule.mjs
+++ b/tests/test_rule.mjs
@@ -1,4 +1,4 @@
-import { rule_t, buffer_size } from "../atsds/tsds.mts";
+import { rule_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_search.mjs b/tests/test_search.mjs
index 68b9be2..2ac7a4c 100644
--- a/tests/test_search.mjs
+++ b/tests/test_search.mjs
@@ -1,4 +1,4 @@
-import { search_t, rule_t } from "../atsds/tsds.mts";
+import { search_t, rule_t } from "../atsds/index.mts";
 
 let search = null;
 
diff --git a/tests/test_string.mjs b/tests/test_string.mjs
index bec63eb..fe08677 100644
--- a/tests/test_string.mjs
+++ b/tests/test_string.mjs
@@ -1,4 +1,4 @@
-import { string_t, buffer_size } from "../atsds/tsds.mts";
+import { string_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_term.mjs b/tests/test_term.mjs
index bf8c9af..5f9ff2d 100644
--- a/tests/test_term.mjs
+++ b/tests/test_term.mjs
@@ -1,4 +1,4 @@
-import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/tsds.mts";
+import { list_t, item_t, variable_t, term_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;
 
diff --git a/tests/test_variable.mjs b/tests/test_variable.mjs
index f742268..d829d86 100644
--- a/tests/test_variable.mjs
+++ b/tests/test_variable.mjs
@@ -1,4 +1,4 @@
-import { variable_t, buffer_size } from "../atsds/tsds.mts";
+import { variable_t, buffer_size } from "../atsds/index.mts";
 
 let v = null;