Skip to content

Commit

Permalink
docs: fix sentence
Browse files Browse the repository at this point in the history
  • Loading branch information
heueristik committed Dec 5, 2024
1 parent fc69ba6 commit 02e5972
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions Material/1_Learn-Anoma-Apps.md
Original file line number Diff line number Diff line change
Expand Up @@ -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? ✅/❌ |
| :-------------------: | :-------------------: | :-------------: |
Expand All @@ -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;
Expand Down

0 comments on commit 02e5972

Please sign in to comment.