From 02e5972a105b2247939c2498c63446332d63f15e Mon Sep 17 00:00:00 2001 From: Michael Heuer Date: Thu, 5 Dec 2024 10:53:01 +0100 Subject: [PATCH] docs: fix sentence --- Material/1_Learn-Anoma-Apps.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Material/1_Learn-Anoma-Apps.md b/Material/1_Learn-Anoma-Apps.md index 1f3aeae..38fd05f 100644 --- a/Material/1_Learn-Anoma-Apps.md +++ b/Material/1_Learn-Anoma-Apps.md @@ -140,10 +140,9 @@ The kind is used to check if transactions are balanced. **Transactions** consume and create resources. - Transactions with equal quantities of created and consumed resources of the same kind are **balanced**. -- If all resource logics are - - An unbalanced transaction is called **intent**. -- Only balanced and transactions can be executed +- A transaction is **valid** if all resource logics are valid. +- Only balanced and valid transactions can be executed | Consumed | Created | Balanced? ✅/❌ | | :-------------------: | :-------------------: | :-------------: | @@ -165,12 +164,14 @@ type Transaction := delta : Delta; deltaProof : Delta.Proof; }; +``` - **`actions`:** Contains - **`roots`:** Computed for each consumed resource. - **`delta`:** Computed for each consumed resource. - **`deltaProof`:** Computed for each consumed resource. +``` type Action := mkAction@{ commitments : Set Commitment;