diff --git a/lib/elixir/pages/anti-patterns/code-anti-patterns.md b/lib/elixir/pages/anti-patterns/code-anti-patterns.md
index bcaca5ce163..482b3893910 100644
--- a/lib/elixir/pages/anti-patterns/code-anti-patterns.md
+++ b/lib/elixir/pages/anti-patterns/code-anti-patterns.md
@@ -197,7 +197,7 @@ iex> MyRequestHandler.parse(%{"status" => "status_not_seen_anywhere", "message"
 
 By explicitly listing all supported statuses, you guarantee that only a limited number of conversions may happen, and that all expected atoms already exist within the system.
 
-An alternative is to use pattern matching and explicitly convert each string to its respective atom. This is useful when you need additional logic on differnt branches:
+An alternative is to use pattern matching and explicitly convert each string to its respective atom. This is useful when you need additional logic on different branches:
 
 ```elixir
 defmodule MyRequestHandler do
diff --git a/lib/elixir/pages/anti-patterns/process-anti-patterns.md b/lib/elixir/pages/anti-patterns/process-anti-patterns.md
index a78092dee34..ee76fd0512a 100644
--- a/lib/elixir/pages/anti-patterns/process-anti-patterns.md
+++ b/lib/elixir/pages/anti-patterns/process-anti-patterns.md
@@ -144,7 +144,7 @@ iex> C.update(agent)
 
 # state of shared information
 iex> D.get(agent)
-[:atom_value, %{a: 123}]
+[:atom_value | %{a: 123}]
 ```
 
 For a `GenServer` and other behaviours, this anti-pattern will manifest when scattering calls to `GenServer.call/3` and `GenServer.cast/2` throughout multiple modules, instead of encapsulating all the interaction with the `GenServer` in a single place.
diff --git a/lib/elixir/pages/getting-started/sigils.md b/lib/elixir/pages/getting-started/sigils.md
index 9c04d95560b..da9f29f1b7d 100644
--- a/lib/elixir/pages/getting-started/sigils.md
+++ b/lib/elixir/pages/getting-started/sigils.md
@@ -214,7 +214,7 @@ As hinted at the beginning of this chapter, sigils in Elixir are extensible. In
 
 ```elixir
 iex> sigil_r(<<"foo">>, [?i])
-~r"foo"i
+~r/foo/i
 ```
 
 We can access the documentation for the `~r` sigil via `sigil_r`:
diff --git a/lib/elixir/pages/meta-programming/macros.md b/lib/elixir/pages/meta-programming/macros.md
index fb9f46044ec..91dbb0bb004 100644
--- a/lib/elixir/pages/meta-programming/macros.md
+++ b/lib/elixir/pages/meta-programming/macros.md
@@ -46,7 +46,7 @@ iex> require Unless
 iex> Unless.macro_unless(true, do: IO.puts("this should never be printed"))
 nil
 iex> Unless.fun_unless(true, do: IO.puts("this should never be printed"))
-"this should never be printed"
+this should never be printed
 nil
 ```
 
@@ -81,7 +81,7 @@ We can actually verify that this is the case by using `Macro.expand_once/2`:
 iex> expr = quote do: Unless.macro_unless(true, do: IO.puts("this should never be printed"))
 iex> res  = Macro.expand_once(expr, __ENV__)
 iex> IO.puts(Macro.to_string(res))
-if(!true) do
+if !true do
   IO.puts("this should never be printed")
 end
 :ok
@@ -214,11 +214,11 @@ nil
 iex> __ENV__.file
 "iex"
 iex> __ENV__.requires
-[IEx.Helpers, Kernel, Kernel.Typespec]
+[Application, IEx.Helpers, Kernel]
 iex> require Integer
-nil
+Integer
 iex> __ENV__.requires
-[IEx.Helpers, Integer, Kernel, Kernel.Typespec]
+[Application, IEx.Helpers, Integer, Kernel]
 ```
 
 Many of the functions in the `Macro` module expect a `Macro.Env` environment. You can read more about these functions in `Macro` and learn more about the compilation environment in the `Macro.Env`.
diff --git a/lib/elixir/pages/meta-programming/quote-and-unquote.md b/lib/elixir/pages/meta-programming/quote-and-unquote.md
index 127861538c6..c7e2922b1e7 100644
--- a/lib/elixir/pages/meta-programming/quote-and-unquote.md
+++ b/lib/elixir/pages/meta-programming/quote-and-unquote.md
@@ -28,7 +28,7 @@ Operators are also represented as such tuples:
 
 ```elixir
 iex> quote do: 1 + 2
-{:+, [context: Elixir, import: Kernel], [1, 2]}
+{:+, [context: Elixir, imports: [{1, Kernel}, {2, Kernel}]], [1, 2]}
 ```
 
 Even a map is represented as a call to `%{}`:
@@ -49,7 +49,8 @@ When quoting more complex expressions, we can see that the code is represented i
 
 ```elixir
 iex> quote do: sum(1, 2 + 3, 4)
-{:sum, [], [1, {:+, [context: Elixir, import: Kernel], [2, 3]}, 4]}
+{:sum, [],
+ [1, {:+, [context: Elixir, imports: [{1, Kernel}, {2, Kernel}]], [2, 3]}, 4]}
 ```
 
 Sometimes, when working with quoted expressions, it may be useful to get the textual code representation back. This can be done with `Macro.to_string/1`:
diff --git a/lib/elixir/pages/references/gradual-set-theoretic-types.md b/lib/elixir/pages/references/gradual-set-theoretic-types.md
index 3499bdd56bd..d1a7aa20807 100644
--- a/lib/elixir/pages/references/gradual-set-theoretic-types.md
+++ b/lib/elixir/pages/references/gradual-set-theoretic-types.md
@@ -266,7 +266,7 @@ user = find_user_by_id(42)
 %User{user | name: "John Doe"}
 ```
 
-Even though it is guaranteed at runtime that user is always a `User` struct. If the type system cannot prove it, it will emit a typing violation. This is how stuct updates work by design. In such cases, you can address it by matching on the struct when the user variable is defined:
+Even though it is guaranteed at runtime that user is always a `User` struct. If the type system cannot prove it, it will emit a typing violation. This is how struct updates work by design. In such cases, you can address it by matching on the struct when the user variable is defined:
 
 ```elixir
 %User{} = user = find_user_by_id(42)