Merge remote-tracking branch 'provable/master' into remove_tx_cannon

ProvableHQ · Jul 29, 2024 · 3aea134 · 3aea134
2 parents e57d055 + f619e50
commit 3aea134
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/documentation/00_leo_overview.md b/documentation/00_leo_overview.md
@@ -4,8 +4,7 @@ title: The Leo Programming Language
 sidebar_label: Overview
 ---
 
-Welcome to the Leo programming language. Leo is a statically-typed programming language built
-for writing private applications. Leo is a high-level programming language that compiles down to low-level Aleo Instructions.
+Welcome to the Leo programming language. Leo is a statically-typed programming language for private applications. Designed for intuitive Aleo blockchain development, Leo lays the foundation for a private, decentralized ecosystem.
 
 :::info
 The Leo language is currently in active development. Please monitor the repository on [**GitHub**](https://github.com/AleoHQ/leo) for possibly breaking changes.

diff --git a/documentation/leo/02_hello.md b/documentation/leo/02_hello.md
@@ -138,7 +138,7 @@ leo update
   Leo ✅ Updated to version 1.12.0
 ```
 
-### 2. Execute
+### 3. Execute
 
 The `leo execute` command executes the Leo program and outputs a transaction object
 ```bash