diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index f98c525..12331ce 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -163,7 +163,7 @@ cargo fmt --check
 
 ### Not Accepted
 
-- TypeScript (use ReScript instead)
+- TypeScript (use AffineScript instead)
 - Python (use Rust or Julia instead)
 - Go (use Rust instead)
 - Node.js/npm/bun (use Deno if JS runtime needed)
diff --git a/docs/minikanren-integration-v3.adoc b/docs/minikanren-integration-v3.adoc
index 12329f8..de88389 100644
--- a/docs/minikanren-integration-v3.adoc
+++ b/docs/minikanren-integration-v3.adoc
@@ -47,7 +47,7 @@ toc::[]
 │    └── VeriSim.MiniKanren (v3: constraint solving) ◄─ NEW   │
 │              ↓ FFI/NIFs                                      │
 ├─────────────────────────────────────────────────────────────┤
-│  miniKanren Logic Engine (Rust or ReScript binding)         │
+│  miniKanren Logic Engine (Rust or AffineScript binding)         │
 │    ├── Query plan constraint solver                         │
 │    ├── Normalization rule synthesizer                       │
 │    └── Drift repair strategy generator                      │