[spec] Fix various typos (#2004)

Author: alessiofaieta

document/core/appendix/algorithm.rst

@@ -277,7 +277,7 @@ It allocates a new frame record recording them along with the current height of
 Popping a frame first checks that the control stack is not empty.
 It then verifies that the operand stack contains the right types of values expected at the end of the exited block and pops them off the operand stack.
 Afterwards, it checks that the stack has shrunk back to its initial height.
-Finally, it undoes all changes to the initialization status of locals that happend inside the block.
+Finally, it undoes all changes to the initialization status of locals that happened inside the block.
 
 The type of the :ref:`label <syntax-label>` associated with a control frame is either that of the stack at the start or the end of the frame, determined by the opcode that it originates from.
 

document/core/appendix/changes.rst

@@ -367,7 +367,7 @@ Added instructions to perform tail calls. [#proposal-tailcall]_
 Exception Handling
 ..................
 
-Added tag definitions, imports, and exports, and instructions to throw and catch exceptions [#proposal-exn]_
+Added tag definitions, imports, and exports, and instructions to throw and catch exceptions. [#proposal-exn]_
 
 * :ref:`Modules <syntax-module>` may
 
@@ -500,7 +500,7 @@ Added more precise types for references. [#proposal-typedref]_
 
 * Refined typing of :ref:`local instructions <valid-instr-variable>` and :ref:`instruction sequences <valid-instrs>` to track the :ref:`initialization status <syntax-init>` of :ref:`locals <syntax-local>` with non-defaultable type
 
-* Refined decoding of :ref:`active <syntax-elemmode>` :ref:`element segments <binary-elem>` with implicit element type and plain function indices (opcode :math:`0`) to produce :ref:`non-null <syntax-null>` :ref:`reference type <syntax-reftype>`.
+* Refined decoding of :ref:`active <syntax-elemmode>` :ref:`element segments <binary-elem>` with implicit element type and plain function indices (opcode :math:`0`) to produce :ref:`non-null <syntax-null>` :ref:`reference type <syntax-reftype>`
 
 * Extended :ref:`table definitions <syntax-table>` with optional initializer expression
 

document/core/exec/runtime.rst

@@ -378,7 +378,7 @@ It is an invariant of the semantics that all elements of a segment have a type :
 Data Instances
 ~~~~~~~~~~~~~~
 
-An *data instance* is the runtime representation of a :ref:`data segment <syntax-data>`.
+A *data instance* is the runtime representation of a :ref:`data segment <syntax-data>`.
 It holds a list of :ref:`bytes <syntax-byte>`.
 
 $${syntax: datainst}

document/core/exec/types.rst

@@ -10,7 +10,7 @@ It is an invariant of the semantics that all types occurring during execution ar
 
 .. note::
    Runtime type checks generally involve types from multiple modules or types not defined by a module at all,
-   such that any module-local :ref:`type indices <syntax-typeidx>` occurring inside them would not geenrally be meaningful.
+   such that any module-local :ref:`type indices <syntax-typeidx>` occurring inside them would not generally be meaningful.
 
 
 

document/core/text/modules.rst

@@ -74,7 +74,7 @@ $${grammar: Ttype_}
 Tags
 ~~~~
 
-An tag definition can bind a symbolic :ref:`tag identifier <text-id>`.
+A tag definition can bind a symbolic :ref:`tag identifier <text-id>`.
 
 $${grammar: Ttag_}
 

document/core/valid/conventions.rst

@@ -88,7 +88,7 @@ Convention
 .. note::
    This definition computes an approximation of the reference type that is inhabited by all values from ${:rt_1} except those from ${:rt_2}.
    Since the type system does not have general union types,
-   the defnition only affects the presence of null and cannot express the absence of other values.
+   the definition only affects the presence of null and cannot express the absence of other values.
 
 
 .. index:: ! defined type, recursive type

spectec/doc/Latex.md

@@ -178,7 +178,7 @@ will render as
                         | reftype
 ```
 
-The description is also used in [prose](Prose.md) geenration.
+The description is also used in [prose](Prose.md) generation.
 
 
 #### Name hints (`name`)