Fix typos

doc/docusaurus/docs/index.md

@@ -17,7 +17,7 @@ All of these elements are used in combination to write Plutus Core scripts that
 
 To develop and deploy a smart contract, you also need off-chain code for building transactions, submitting transactions, deploying smart contracts, querying for available UTXOs on the chain, and so on. You may also want a front-end interface for your smart contract for a better user experience. 
 
-Plutus allows all programming to be done from a [single Haskell library](https://intersectmbo.github.io/plutus/haddock/latest). This lets developers build secure applications, forge new assets, and create smart contracts in a predictable, deterministic environment with the highest level of assurance. Furthemore, developers don’t have to run a full Cardano node to test their work. 
+Plutus allows all programming to be done from a [single Haskell library](https://intersectmbo.github.io/plutus/haddock/latest). This lets developers build secure applications, forge new assets, and create smart contracts in a predictable, deterministic environment with the highest level of assurance. Furthermore, developers don’t have to run a full Cardano node to test their work. 
 
 With Plutus you can:
 

doc/docusaurus/docs/reference/common-weaknesses.md

@@ -54,7 +54,7 @@ Any application that makes payments to specific parties needs to ensure that tho
 ### Solutions
 
 It's possible that a solution will be developed that makes this weakness easier to avoid. 
-In the mean time, there are workarounds that developers can use.
+In the meantime, there are workarounds that developers can use.
 
 #### **Unique outputs**
 
@@ -117,12 +117,12 @@ Script size should not itself be a risk (since scripts and their sizes should ge
 
 In the long run, hard limits may be increased, removed, or turned into soft limits.
 
-In the mean time, there are some approaches that developers can use to reduce the risk.
+In the meantime, there are some approaches that developers can use to reduce the risk.
 
 - **Careful testing**
 
 It is important to test as many of the execution paths of your application as possible. 
-This is important for correctness, but also to ensure that there are not unexpected cases where script resource usage spikes.
+This is important for correctness, but also to ensure that there are no unexpected cases where script resource usage spikes.
 
 - **Bounding data usage**
 

doc/docusaurus/docs/reference/plutus-language-changes.md

@@ -64,7 +64,7 @@ Starting with the release of [Cardano node v.8.8.0-pre](https://github.com/Inter
 - Well-known and optimal cryptographic algorithms
 - Support for porting of smart contracts from Ethereum
 - Creating sidechain bridges
-- Improving performance by adding a sums of products (SOPs) feature to support the direct encoding of differrent data types.
+- Improving performance by adding a sums of products (SOPs) feature to support the direct encoding of different data types.
 
 ### Sums of products
 

doc/docusaurus/docs/simple-example/eutxo-model.md

@@ -31,7 +31,7 @@ It is *not* responsible for such things as deciding whether it can spend a diffe
 Consider it a pure function that returns `Bool`. 
 Checking transaction validity is done by the ledger rules, and updating the state of a smart contract is done by constructing the transaction to produce a new script UTXO with an updated datum.
 
-<!-- talking about "predicatable transaction fees" -->
+<!-- talking about "predictable transaction fees" -->
 
 The immutability of UTXOs leads to the extremely useful property of completely predictable transaction fees. 
 The Plutus script in a transaction can be run off-chain to determine the fee before submitting the transaction onto the blockchain.