remove ts section

Author: jderochervlk

pages/docs/manual/v12.0.0/introduction.mdx

@@ -53,12 +53,4 @@ The JavaScript ecosystem is very reliant on dependencies. Shipping the final pro
 
 - Function- and module-level code elimination is facilitated by the well-engineered type system and purity analysis.
 - At the global level, ReScript generates code that is naturally friendly to dead code elimination done by bundling tools such as [Rollup](https://github.com/rollup/rollup) and [Closure Compiler](https://developers.google.com/closure/compiler/), after its own sophisticated elimination pass.
-- The same applies for ReScript's own tiny runtime (which is written in ReScript itself).
-
-## Comparison to TypeScript
-
-We respect TypeScript very much and think that it's a positive force in the JavaScript ecosystem. ReScript shares some of the same goals as TypeScript, but is different enough regarding some important nuances:
-
-- TypeScript's (admittedly noble) goal is to cover the entire JavaScript feature set and more. **ReScript covers only a curated subset of JavaScript**. For example, we emphasize plain data and functions over classes, clean [pattern matching](pattern-matching-destructuring.md) over fragile `if`s and virtual dispatches, and [proper data modeling](variant.md) over string abuse.
-- TypeScript's type system is robust and complex, pitfalls-ridden, potentially requires tweaking, sometimes slow, and requires quite a bit of noisy annotations that often feel like manual bookkeeping rather than clear documentation.
-- Migrating to TypeScript is done "breadth-first," whereas migrating to ReScript is done "depth-first." You can convert your codebase to TypeScript by "turning it on" for all files and annotate here and there; but how much type safety did you gain? How do you measure it? Type errors can still slip in and out of the converted pieces. For ReScript, our interop features draw clear boundaries: there's pure ReScript code, and there's JS interop code. Every piece of converted ReScript code is 100% clean. You'd convert file by file and each conversion increases your safety monotonically.
+- The same applies for ReScript's own tiny runtime (which is written in ReScript itself).