docs: fix exercise and comment

anoma · Nov 12, 2024 · d0a77a5 · d0a77a5
1 parent 7f167d2
commit d0a77a5
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/HelloWorld/Exercise_1/README.md b/HelloWorld/Exercise_1/README.md
diff --git a/HelloWorld/Exercise_2/Resource.juvix b/HelloWorld/Exercise_2/Resource.juvix
@@ -5,7 +5,7 @@ import Applib open;
 import WorkshopUtils open;
 
 {-
-  TODO: Write a logic function checkiong that the consumption of the resource was authorized by the owner.
+  TODO: Write a logic function checking that the consumption of the resource was authorized by the owner.
   As a bonus, ensure that the quantity is 1.
 -}
 logic (publicInputs : Logic.Instance) (privateInputs : Logic.Witness) : Bool :=

diff --git a/HelloWorld/Exercise_3/Transaction.juvix b/HelloWorld/Exercise_3/Transaction.juvix
@@ -5,16 +5,18 @@ import Applib open;
 import WorkshopUtils open;
 import Exercise_3.Resource open;
 
--- TODO
+{-
+  TODO: Write a function that transfers the `existingHelloWorld` resource to the `receiver`.
+-}
 transferHelloWorld
   (standardInputs : StandardInputs)
-  (existingHello : Resource)
+  (existingHelloWorld : Resource)
   (receiver : ExternalIdentity)
   : Transaction :=
   let
     nonce := generateNonce (StandardInputs.randSeed standardInputs);
   in prepareTransaction@{
        standardInputs;
-       consumed := Set.singleton existingHello;
+       consumed := TODO;
        created := TODO;
      };