Commit da557fbd authored by John Burnham's avatar John Burnham

another typo in 01

parent 600b3809
......@@ -3,7 +3,7 @@
## What is Michelson
Michelson is the smart contract language of the Tezos blockchain. Roughly
speaking, Michelson is Tezos as the Ethereum Virtual Machine is to Ethereum.
speaking, Michelson is to Tezos as the Ethereum Virtual Machine is to Ethereum.
Both languages are *stack-based*, which means that computation is performed by
mutating a sequence of data elements (the stack) according to some sequence of
instructions (the program).
......@@ -126,14 +126,14 @@ code {DROP;
First we're going to check that the script is well-typed:
```
$ ./alphanet client typecheck script container:helloTezos.tz
$ ./alphanet.sh client typecheck script container:helloTezos.tz
```
We can see more information emitted by the typechecker by adding the `--details`
flag:
```
$ ./alphanet client typecheck script container:helloTezos.tz --details
$ ./alphanet.sh client typecheck script container:helloTezos.tz --details
```
This program should typecheck, but if it doesn't, possible reasons are
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment