chore: fix some typos

examples/cosmos/ics20/README.md

@@ -168,7 +168,7 @@ common-sense specification and make the following assumptions:
 
 - Balances are always non-negative, and operations error if there is
   insufficient balance. This assumption [is documented in pseudo-code in the
-  natural language spec][balancesNonNegative] for `TransferCoins`, but not explicitely stated for
+  natural language spec][balancesNonNegative] for `TransferCoins`, but not explicitly stated for
   `BurnCoins`:
 
 ```typescript

quint/src/effects/base.ts

@@ -211,7 +211,7 @@ function bindEntity(name: string, entity: Entity): Substitutions {
 }
 
 /**
- * Finds all entity names refered to by an entity
+ * Finds all entity names referred to by an entity
  *
  * @param entity the entity to be searched
  *
@@ -229,7 +229,7 @@ export function entityNames(entity: Entity): string[] {
 }
 
 /**
- * Finds all state variables refered to by an entity
+ * Finds all state variables referred to by an entity
  *
  * @param entity the entity to be searched
  *

quint/src/flattening/flattener.ts

@@ -33,7 +33,7 @@ import assert from 'assert'
 import { uniqBy } from 'lodash'
 
 /**
- * Flatten a module, replacing instances, imports and exports with definitions refered by the module.
+ * Flatten a module, replacing instances, imports and exports with definitions referred by the module.
  *
  * @param quintModule - The module to be flattened
  * @param modulesByName - A map of referred modules by name

vscode/quint-vscode/server/src/rename.ts

@@ -5,7 +5,7 @@ import { QuintDef } from '@informalsystems/quint'
  *
  * The regular expression recognizes two capture groups:
  *   - the first capture group matches the qualifiers,
- *   - the second caputre group matches the declaration's name.
+ *   - the second capture group matches the declaration's name.
  */
 export function getDeclRegExp(decl: QuintDef): RegExp {
   switch (decl.kind) {