diff --git a/src/frontend/src/pages/Chapters/Camel/ChapterDeployContract/course.md b/src/frontend/src/pages/Chapters/Camel/ChapterDeployContract/course.md index 36cd5b7..cdd8d5b 100644 --- a/src/frontend/src/pages/Chapters/Camel/ChapterDeployContract/course.md +++ b/src/frontend/src/pages/Chapters/Camel/ChapterDeployContract/course.md @@ -24,9 +24,9 @@ Executing an entry point takes some parameters and a state of a storage and retu ![](/images/contract_in_out.png) -Execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. +The execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. -Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. +Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If the execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. ## Deploy @@ -44,8 +44,8 @@ tezos-client originate contract for transferring name given to the contract path of the Michelson smart contract code (TZ file). - is the quantity of tez being transfered to the newly deployed contract. if a contract balance reaches 0 then it is deactivated. - account from which the tez are taken from (and given transfered to the new contract). + is the quantity of tez being transfered to the newly deployed contract. If a contract balance reaches 0 then it is deactivated. + account from which the tez are taken from (and transfered to the new contract). is a Michelson expression. The --init parameter is used to specify initial state of the storage. it specifies the the maximal fee the user is willing to pay for this operation (using the --burn-cap parameter). @@ -61,11 +61,11 @@ tezos-client transfer from to --arg ' is the quantity of tez being transfered to the contract. name given to the contract - name of the entry point and corresponding parameters. example 'Increment(5)'. + name of the entry point and corresponding parameters. For example 'Increment(5)'. ⚠️ Notice that the --arg parameter specifies an entry point call. -⚠️ Notice that the --dry-run parameter simulate invocation of the entry point. +⚠️ Notice that the --dry-run parameter simulate the invocation of the entry point. ## Ligo compiler @@ -84,7 +84,7 @@ ligo compile-contract code.mligo > code.tz argument is the name of the "main function" in the .ligo file. (see Chapter "Main Function"). -⚠️ Notice the output of the command is the Michelson code. We just redirect the command output into a .tz file. +⚠️ Notice that the output of the command is the Michelson code. We just redirect the command output into a .tz file. ### Initial storage @@ -108,20 +108,20 @@ ligo compile-parameter [options] code.mligo mainFunc '' ### Simulating -Here is how to simulate execution of an entry point using the LIGO compiler in command line. +Here is how to simulate the execution of an entry point using the LIGO compiler in command line. ``` ligo dry-run [options] code.mligo mainFunc '' '' ``` - state of the storage when simulating execution of the entry point + state of the storage when simulating the execution of the entry point entry point of the smart contract that is invoked (parameter \_p* of this entry point is specified between parantheses). ### Ligo Expression in command line Let's see some example how to transpile a storage LIGO expression into a Michelson one. -Let's consider this smart contract which associate coordinates to a planet name. +Let's consider this smart contract which associates coordinates to a planet name. ``` // starmap.mligo @@ -148,7 +148,7 @@ let main (action,store : parameter * storage): return = The _Map.literal_ predifined function can be used to initialize a _map_ -The command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.mligo main 'Map.literal [("earth", (1,1,1))]' @@ -158,7 +158,7 @@ ligo compile-storage starmap.mligo main 'Map.literal [("earth", (1,1,1))]' Initialization of elements of a tuple is specified between _(_ and _)_ separated by comma _,_. -The command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.mligo main 'Map.literal [("earth", (1,1,1))]' @@ -196,7 +196,7 @@ let main (action,store : parameter * storage): return = | DoNothing -> (([] : operation list),store) ``` -The command line _ligo compile-storage_ for transpiling a map containg a record tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a record tuple. ``` ligo compile-storage starmap2.mligo main 'Map.literal [("earth", {x=1;y=1;z=1})]' @@ -208,7 +208,7 @@ This command returns : { Elt "earth" (Pair (Pair 1 1) 1) } ``` -⚠️ Notice the record is tranformed into pairs (same for tuples). +⚠️ Notice that the record is tranformed into pairs (same for tuples). ## Your mission diff --git a/src/frontend/src/pages/Chapters/Pascal/ChapterDeployContract/course.md b/src/frontend/src/pages/Chapters/Pascal/ChapterDeployContract/course.md index e0c3573..b75fcf4 100644 --- a/src/frontend/src/pages/Chapters/Pascal/ChapterDeployContract/course.md +++ b/src/frontend/src/pages/Chapters/Pascal/ChapterDeployContract/course.md @@ -24,9 +24,9 @@ Executing an entry point takes some parameters and a state of a storage and retu ![](/images/contract_in_out.png) -Execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. +The execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. -Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. +Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If the execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. ## Deploy @@ -44,8 +44,8 @@ tezos-client originate contract for transferring name given to the contract path of the Michelson smart contract code (TZ file). - is the quantity of tez being transfered to the newly deployed contract. if a contract balance reaches 0 then it is deactivated. - account from which the tez are taken from (and given transfered to the new contract). + is the quantity of tez being transfered to the newly deployed contract. If a contract balance reaches 0 then it is deactivated. + account from which the tez are taken from (and transfered to the new contract). is a Michelson expression. The --init parameter is used to specify initial state of the storage. it specifies the the maximal fee the user is willing to pay for this operation (using the --burn-cap parameter). @@ -61,11 +61,11 @@ tezos-client transfer from to --arg ' is the quantity of tez being transfered to the contract. name given to the contract - name of the entry point and corresponding parameters. example 'Increment(5)'. + name of the entry point and corresponding parameters. For example 'Increment(5)'. ⚠️ Notice that the --arg parameter specifies an entry point call. -⚠️ Notice that the --dry-run parameter simulate invocation of the entry point. +⚠️ Notice that the --dry-run parameter simulate the invocation of the entry point. ## Ligo compiler @@ -84,7 +84,7 @@ ligo compile-contract code.ligo mainFunc > code.tz argument is the name of the "main function" in the .ligo file. (see Chapter "Main Function"). -⚠️ Notice the output of the command is the Michelson code. We just redirect the command output into a .tz file. +⚠️ Notice that the output of the command is the Michelson code. We just redirect the command output into a .tz file. ### Initial storage @@ -108,20 +108,20 @@ ligo compile-parameter [options] code.ligo mainFunc '' ### Simulating -Here is how to simulate execution of an entry point using the LIGO compiler in command line. +Here is how to simulate the execution of an entry point using the LIGO compiler in command line. ``` ligo dry-run [options] code.ligo mainFunc '' '' ``` - state of the storage when simulating execution of the entry point + state of the storage when simulating the execution of the entry point entry point of the smart contract that is invoked (parameter \_p* of this entry point is specified between parantheses). ### Ligo Expression in command line Let's see some example how to transpile a storage LIGO expression into a Michelson one. -Let's consider this smart contract which associate coordinates to a planet name. +Let's consider this smart contract which associates coordinates to a planet name. ``` // starmap.ligo @@ -154,7 +154,7 @@ Initialization of elements of a map is specified between _map[_ and _]_ and elem map[ -> ; -> ] ``` -Here, an example of a command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.ligo main 'map [ "earth" -> (1,1,1) ]' @@ -170,7 +170,7 @@ ligo compile-storage starmap.ligo main '(map []: map(string,coordinates))' Initialization of elements of a tuple is specified between _(_ and _)_ separated by comma _,_. -The command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.ligo main 'map [ "earth" -> (1,1,1) ]' @@ -209,7 +209,7 @@ block { skip } with case action of end ``` -The command line _ligo compile-storage_ for transpiling a map containg a record tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a record tuple. ``` ligo compile-storage starmap2.ligo main 'map [ "earth" -> record [x=1;y=1;z=1] ]' @@ -221,7 +221,7 @@ This command returns : { Elt "earth" (Pair (Pair 1 1) 1) } ``` -⚠️ Notice the record is tranformed into pairs (same for tuples). +⚠️ Notice that the record is tranformed into pairs (same for tuples). ## Your mission diff --git a/src/frontend/src/pages/Chapters/Reason/ChapterDeployContract/course.md b/src/frontend/src/pages/Chapters/Reason/ChapterDeployContract/course.md index 88cc256..866e7f5 100644 --- a/src/frontend/src/pages/Chapters/Reason/ChapterDeployContract/course.md +++ b/src/frontend/src/pages/Chapters/Reason/ChapterDeployContract/course.md @@ -24,9 +24,9 @@ Executing an entry point takes some parameters and a state of a storage and retu ![](/images/contract_in_out.png) -Execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. +The execution of an entry point produces a new state of the storage of the smart contract. If the entry point execution did not throw an exception and did not fail then the new state of storage is applied. -Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. +Operations are transactions (smart contract invocation) that will be sent to some other contracts. They will trigger an entry point of the targeted contract or a tez transfer (no invocation of entry point). If the execution of an entry point produces operations (an ordered list of transactions) then they are sent and executed following the order of the list of operations. ## Deploy @@ -44,8 +44,8 @@ tezos-client originate contract for transferring name given to the contract path of the Michelson smart contract code (TZ file). - is the quantity of tez being transfered to the newly deployed contract. if a contract balance reaches 0 then it is deactivated. - account from which the tez are taken from (and given transfered to the new contract). + is the quantity of tez being transfered to the newly deployed contract. If a contract balance reaches 0 then it is deactivated. + account from which the tez are taken from (and transfered to the new contract). is a Michelson expression. The --init parameter is used to specify initial state of the storage. it specifies the the maximal fee the user is willing to pay for this operation (using the --burn-cap parameter). @@ -61,11 +61,11 @@ tezos-client transfer from to --arg ' is the quantity of tez being transfered to the contract. name given to the contract - name of the entry point and corresponding parameters. example 'Increment(5)'. + name of the entry point and corresponding parameters. For example 'Increment(5)'. ⚠️ Notice that the --arg parameter specifies an entry point call. -⚠️ Notice that the --dry-run parameter simulate invocation of the entrypoint. +⚠️ Notice that the --dry-run parameter simulate the invocation of the entrypoint. ## Ligo compiler @@ -84,7 +84,7 @@ ligo compile-contract code.religo mainFunc > code.tz argument is the name of the "main function" in the .ligo file. (see Chapter "Main Function"). -⚠️ Notice the output of the command is the Michelson code. We just redirect the command output into a .tz file. +⚠️ Notice that the output of the command is the Michelson code. We just redirect the command output into a .tz file. ### Initial storage @@ -108,20 +108,20 @@ ligo compile-parameter [options] code.religo mainFunc '' ### Simulating -Here is how to simulate execution of an entry point using the LIGO compiler in command line. +Here is how to simulate the execution of an entry point using the LIGO compiler in command line. ``` ligo dry-run [options] code.religo mainFunc '' '' ``` - state of the storage when simulating execution of the entry point + state of the storage when simulating the execution of the entry point entry point of the smart contract that is invoked (parameter \_p* of this entry point is specified between parantheses). ### Ligo Expression in command line Let's see some example how to transpile a storage LIGO expression into a Michelson one. -Let's consider this smart contract which associate coordinates to a planet name. +Let's consider this smart contract which associates coordinates to a planet name. ``` // starmap.religo @@ -151,7 +151,7 @@ let main = ((action,store) : (parameter,storage)): return => The _Map.literal_ predifined function can be used to initialize a _map_ -The command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.religo main 'Map.literal ([("earth", (1,1,1))])' @@ -161,7 +161,7 @@ ligo compile-storage starmap.religo main 'Map.literal ([("earth", (1,1,1))])' Initialization of elements of a tuple is specified between _(_ and _)_ separated by comma _,_. -The command line _ligo compile-storage_ for transpiling a map containg a tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a tuple. ``` ligo compile-storage starmap.religo main 'Map.literal ([("earth", (1,1,1))])' @@ -200,7 +200,7 @@ let main = ((action,store) : (parameter,storage)): return => }; ``` -The command line _ligo compile-storage_ for transpiling a map containg a record tuple. +Here is an example of a command line _ligo compile-storage_ for transpiling a map containing a record tuple. ``` ligo compile-storage starmap2.religo main 'Map.literal ([("earth", {x:1,y:1,z:1})])' @@ -212,7 +212,7 @@ This command returns : { Elt "earth" (Pair (Pair 1 1) 1) } ``` -⚠️ Notice the record is tranformed into pairs (same for tuples). +⚠️ Notice that the record is tranformed into pairs (same for tuples). ## Your mission