Skip to content

Commit

Permalink
docs: add comments
Browse files Browse the repository at this point in the history
  • Loading branch information
heueristik committed Nov 12, 2024
1 parent d0a77a5 commit d17fcd5
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion HelloWorld/Intent/Resource.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ import Anoma open;
import Applib open;
import WorkshopUtils open;


logic (publicInputs : Logic.Instance) (privateInputs : Logic.Witness) : Bool :=
let
tag := Logic.Instance.tag publicInputs;
Expand All @@ -21,7 +22,7 @@ logic (publicInputs : Logic.Instance) (privateInputs : Logic.Witness) : Bool :=
}
| Created commitment := true;

-- You don't need to change anything below this point.
--- Constructs a resource with a specified label.
mkLabelledResource
(label : String)
(owner : ExternalIdentity)
Expand All @@ -39,13 +40,15 @@ mkLabelledResource
nullifierKeyCommitment := Universal.nullifierKeyCommitment;
};

--- Constructs a resource with the label "Hello".
mkHelloResource (owner : ExternalIdentity) (nonce : Nonce) : Resource :=
mkLabelledResource@{
label := "Hello";
owner;
nonce;
};

--- Constructs a resource with the label "World".
mkWorldResource (owner : ExternalIdentity) (nonce : Nonce) : Resource :=
mkLabelledResource@{
label := "World";
Expand Down

0 comments on commit d17fcd5

Please sign in to comment.