balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix some typos in Michelson specifications

Browse Source
This commit is contained in:
Raphaël Proust 2019-02-22 15:06:58 +08:00 committed by Grégoire Henry
parent d649975494
commit d29f426b8e
No known key found for this signature in database
GPG Key ID: 50D984F20BD445D2
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
docs/whitedoc/michelson.rst
View File

@ -1767,13 +1767,13 @@ A typing rule can be inferred:
> IF_SOME / (Some a) : S => bt / a : S
> IF_SOME / (None) : S => bf / S
- ``SET_CAR``: Set the first value of a pair.
- ``SET_CAR``: Set the left field of a pair.
::
> SET_CAR => CDR ; SWAP ; PAIR
- ``SET_CDR``: Set the second value of a pair.
- ``SET_CDR``: Set the right field of a pair.
::
@ -1789,13 +1789,13 @@ A typing rule can be inferred:
> SET_CD(\rest=[AD]+)R / S =>
{ DUP ; DIP { CDR ; SET_C(\rest)R } ; CAR ; PAIR } / S
- ``MAP_CAR`` code: Transform the first value of a pair.
- ``MAP_CAR`` code: Transform the left field of a pair.
::
> MAP_CAR code => DUP ; CDR ; DIP { CAR ; code } ; SWAP ; PAIR
- ``MAP_CDR`` code: Transform the first value of a pair.
- ``MAP_CDR`` code: Transform the right field of a pair.
::