review

Author: Your Name

languages/tolk/from-func/in-detail.mdx

@@ -286,14 +286,10 @@ Arithmetic operations on `coins` degrade to `int` — for example, `cost << 1` o
 
 ### Type system changes
 
-FunC's type system is based on Hindley–Milner, a common approach for functional languages where types are inferred from usage through unification.
-
 In Tolk v0.7, the type system was rewritten from scratch.
 To introduce booleans, fixed-width integers, nullability, structures, and generics, Tolk required a static type system similar to TypeScript or Rust.
 
-Hindley–Milner conflicts with structure methods, struggles with proper generics, and becomes impractical for union types despite claims that it was _designed for union types_.
-
-The types ae:
+The types are:
 
 - `int`, `bool`, `cell`, `slice`, `builder`, untyped `tuple`
 - typed tuple `[T1, T2, ...]`
@@ -319,7 +315,7 @@ The type system obeys the following rules:
 
 ### Clear and readable type mismatch errors
 
-In FunC, due to Hindley-Milner, type mismatch errors are hard to interpret:
+In FunC, type mismatch errors are hard to interpret:
 
 ```
 error: previous function return type (int, int)