fix(doc): README.md formatting (#605)

README.md

@@ -42,34 +42,44 @@ For Visual Studio Code syntax support, please download the [Tact extension](http
 
 We have formed a large-scale vision for the philosophy of Tact to make sure that community has something to refer to.
 
-1. Familiar syntax
+1. ### Familiar syntax
+
    Tact features modern post-C syntax familiar to developers who know TypeScript, Swift, Kotlin and Rust.
 
-2. First-class data structures
+2. ### First-class data structures
+
    Tact makes it easy to declare, decode and encode data structures according to their TL-B schemas.
 
-3. Safe contract interfaces and ABI
+3. ### Safe contract interfaces and ABI
+
    Tact offers strong compile-time checks for contract interfaces, typed addresses and lets you describe messages natively in a subset of TL-B.
 
-4. Message dispatch
+4. ### Message dispatch
+
    Tact offers a convenient yet flexible way to declare, receive and send messages between contracts.
 
-5. Plaintext commands
+5. ### Plaintext commands
+
    Tact offers an innovative way for securely sending commands to the contracts by the users using plaintext commands that are parsed on-chain.
 
-6. Composition of contracts
+6. ### Composition of contracts
+
    Tact offers traits to extract commonly used behaviors into reusable and verified components.
 
-7. Statically bounded iterators
+7. ### Statically bounded iterators
+
    Tact offers convenient iterators and arrays are bounded and do not hurt scalability of the contracts.
 
-8. Batteries-included standard library
+8. ### Batteries-included standard library
+
    Tact comes with a rich standard library that offers data handling functions and standardized behaviors.
 
-9. Interactive
+9. ### Interactive
+
    Tact comes with a live playground, explorer and easy to use deployment tools.
 
-10. Verifiable
+10. ### Verifiable
+
     Tact produces deterministic builds. Compiler helps analyze gas usage and storage costs.
 
 ## License