fix: typos in documentation files (#6830)

* Update STYLEGUIDE.adoc

* Update Spec.hs

* Update README.md

* Update Setup.hs

STYLEGUIDE.adoc

@@ -331,7 +331,7 @@ Always define `Pretty` explicitly (when you need it). It's okay to delegate to t
 
 ==== Reasoning
 
-The derived version of `Show` is always useful as a way of seeing the explicit strucuture of a value as a Haskell value.
+The derived version of `Show` is always useful as a way of seeing the explicit structure of a value as a Haskell value.
 Defining `Show` can mean that this is no longer true, and you can't do a better job than the derived version.
 
 We use `Pretty` always for human-readable output, because it's actually friendly to layout and the derived `Show` instance is not usually human friendly.

plutus-conformance/test-cases/uplc/evaluation/builtin/semantics/verifyEcdsaSecp256k1Signature/README.md

@@ -18,7 +18,7 @@ Most of the `test-vector-*` test case have been generated using `OpenSSL
       DER-encoded binary form.  The ECDSA algorithm involves a random number `k`
       which is generated anew for each signature, and each value of `k` produces
       a different signature, so repeating this step will (with very high
-      probabilty) generate a different signature every time: all of these are
+      probability) generate a different signature every time: all of these are
       valid signatures for the given keypair and message.
 
    5. Look at the contents of `sig.txt` using `dumpasn1 sig.txt`.  This will produce output similar

plutus-metatheory/Setup.hs

@@ -40,7 +40,7 @@ that level of granularity in our choice of agda compilation. Instead, we invoke
 on the entire source tree, and only once, using src/Main.ladga as our compilation target.
 
 Again if more than one .lagda.md file was modified, and we run cabal build, we only need to
-invoke agda once, with all subsequent invokations being noops, but still kind of slow.
+invoke agda once, with all subsequent invocations being noops, but still kind of slow.
 This is why we use the agdaProgramStatus IORef: to cut down compilation times.
 
 Finally, the order in which the modules are listed in exposed-modules matters a lot!

plutus-tx-plugin/test/Plugin/Data/Spec.hs

@@ -164,7 +164,7 @@ data StakingCredential
   = StakingHash Credential
   | StakingPtr
 
--- | Check that a data type used in an unused construtor of a used data type doesn't get eliminated.
+-- | Check that a data type used in an unused constructor of a used data type doesn't get eliminated.
 stakingCredential :: CompiledCode StakingCredential
 stakingCredential = plc (Proxy @"StakingCredential") StakingPtr