From f77bb5108fb675ad5c2845accdb7f69a01e3cece Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Tue, 27 May 2025 19:58:23 +0100
Subject: [PATCH 1/5] Update index.md

---
 docs/src/index.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/src/index.md b/docs/src/index.md
index d14e86c5..0d30d200 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -15,6 +15,7 @@ First, manipulation of [`TapedTask`](@ref)s:
 Libtask.consume
 Base.copy(::Libtask.TapedTask)
 Libtask.set_taped_globals!
+Libtask.might_produce(::Type{<:Tuple})
 ```
 
 Functions for use inside a [`TapedTask`](@ref)s are:

From eb21b009fbd23c887dac441144c3efe9cce5fa54 Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Tue, 27 May 2025 19:59:25 +0100
Subject: [PATCH 2/5] Update internals.md

---
 docs/src/internals.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/src/internals.md b/docs/src/internals.md
index cfcf756d..5ab5060d 100644
--- a/docs/src/internals.md
+++ b/docs/src/internals.md
@@ -3,7 +3,6 @@
 ```@docs; canonical=true
 Libtask.produce_value
 Libtask.is_produce_stmt
-Libtask.might_produce
 Libtask.stmt_might_produce
 Libtask.inc_args
 Libtask.get_type

From f89a54880bfd84dc5044908a7f958f3c3b7c3a99 Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Tue, 27 May 2025 20:00:45 +0100
Subject: [PATCH 3/5] Update Project.toml

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index f7ab46e0..7920b392 100644
--- a/Project.toml
+++ b/Project.toml
@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.0"
+version = "0.9.1"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"

From 8f6d1d3929d1608d9ae0d73c03267ebdc715c179 Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Tue, 27 May 2025 20:06:15 +0100
Subject: [PATCH 4/5] Update index.md

---
 docs/src/index.md | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/docs/src/index.md b/docs/src/index.md
index 0d30d200..78f1cd08 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -10,15 +10,21 @@ public interface of Libtask.jl.
 They divide neatly into two kinds of functions: those which are used to manipulate
 [`TapedTask`](@ref)s, and those which are intended to be used _inside_ a
 [`TapedTask`](@ref).
-First, manipulation of [`TapedTask`](@ref)s:
+
+## Manipulation of [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.consume
 Base.copy(::Libtask.TapedTask)
 Libtask.set_taped_globals!
+```
+
+An opt-in mechanism marks functions that might contain `Libtask.produce` statements. 
+
+```@docs; canonical=true
 Libtask.might_produce(::Type{<:Tuple})
 ```
 
-Functions for use inside a [`TapedTask`](@ref)s are:
+## Functions for use inside a [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.produce
 Libtask.get_taped_globals

From a90cbe75e4c2aa839ae3703341036033ecd71627 Mon Sep 17 00:00:00 2001
From: Hong Ge <3279477+yebai@users.noreply.github.com>
Date: Tue, 27 May 2025 20:33:03 +0100
Subject: [PATCH 5/5] Update index.md

---
 docs/src/index.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/docs/src/index.md b/docs/src/index.md
index 78f1cd08..1f2b2b57 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -18,14 +18,14 @@ Base.copy(::Libtask.TapedTask)
 Libtask.set_taped_globals!
 ```
 
-An opt-in mechanism marks functions that might contain `Libtask.produce` statements. 
-
-```@docs; canonical=true
-Libtask.might_produce(::Type{<:Tuple})
-```
-
 ## Functions for use inside a [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.produce
 Libtask.get_taped_globals
 ```
+
+An opt-in mechanism marks functions that might contain `Libtask.produce` statements. 
+
+```@docs; canonical=true
+Libtask.might_produce(::Type{<:Tuple})
+```