diff --git a/src/frontend/src/pages/Chapters/Camel/ChapterMath/course.md b/src/frontend/src/pages/Chapters/Camel/ChapterMath/course.md index 68623ef..9c3fc5a 100644 --- a/src/frontend/src/pages/Chapters/Camel/ChapterMath/course.md +++ b/src/frontend/src/pages/Chapters/Camel/ChapterMath/course.md @@ -6,7 +6,7 @@ LIGO offers three built-in numerical types: - _int_ are integers, such as 10, -6 and 0. -- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are follwed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. +- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are followed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. - _tez_ are units of measure of Tezos tokens. They can be decimals and are followed by _tez_ or _tz_ such as 3tz or 12.4tez. You can also type units of millionth of tez, using the suffix _mutez_ after a natural literal, such as 10000mutez or 0mutez. diff --git a/src/frontend/src/pages/Chapters/Camel/ChapterRecords/course.md b/src/frontend/src/pages/Chapters/Camel/ChapterRecords/course.md index 46017fa..7d65638 100644 --- a/src/frontend/src/pages/Chapters/Camel/ChapterRecords/course.md +++ b/src/frontend/src/pages/Chapters/Camel/ChapterRecords/course.md @@ -88,4 +88,4 @@ let change_color_preference (account : account) (color : color) : account = 3- Create a function *change_coord_z* which takes 2 parameters *point* of type _coordinates_, *zval* of type _int_. That function returns the point patched with its third attribute equal to given *zval*. -4- Create a new constant called *modified\_earth\_coordinates* initialized by calling the function *change_coord_z* for *earth\_coordinates* with *z* value to 5. +4- Create a new constant called *modified\_earth\_coordinates* initialized by calling the function *change\_coord\_z* for *earth\_coordinates* with *z* value to 5. diff --git a/src/frontend/src/pages/Chapters/Pascal/ChapterMath/course.md b/src/frontend/src/pages/Chapters/Pascal/ChapterMath/course.md index ac257e2..ab5830c 100644 --- a/src/frontend/src/pages/Chapters/Pascal/ChapterMath/course.md +++ b/src/frontend/src/pages/Chapters/Pascal/ChapterMath/course.md @@ -6,7 +6,7 @@ LIGO offers three built-in numerical types: - _int_ are integers, such as 10, -6 and 0. -- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are follwed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. +- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are followed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. - _tez_ are units of measure of Tezos tokens. They can be decimals and are followed by _tez_ or _tz_ such as 3tz or 12.4tez. You can also type units of millionth of tez, using the suffix _mutez_ after a natural literal, such as 10000mutez or 0mutez. diff --git a/src/frontend/src/pages/Chapters/Reason/ChapterMath/course.md b/src/frontend/src/pages/Chapters/Reason/ChapterMath/course.md index c849c4d..9d359d3 100644 --- a/src/frontend/src/pages/Chapters/Reason/ChapterMath/course.md +++ b/src/frontend/src/pages/Chapters/Reason/ChapterMath/course.md @@ -6,7 +6,7 @@ LIGO offers three built-in numerical types: - _int_ are integers, such as 10, -6 and 0. -- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are follwed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. +- _nat_ are natural numbers (integral numbers greater than or equal to zero). They are followed by the suffix _n_ such as 3n, 12n and 0n for the natural zero. - _tez_ are units of measure of Tezos tokens. They can be decimals and are followed by _tez_ or _tz_ such as 3tz or 12.4tez. You can also type units of millionth of tez, using the suffix _mutez_ after a natural literal, such as 10000mutez or 0mutez.