From 4eec94e927ebd5f7cffd9c2b8a008d9e33868d7a Mon Sep 17 00:00:00 2001
From: Magnus Madsen <magnus-madsen@users.noreply.github.com>
Date: Fri, 9 Jan 2026 17:12:25 +0100
Subject: [PATCH] fix: update main function signatures to use IO

---
 src/library-effects.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library-effects.md b/src/library-effects.md
index fd198393..eea72e3b 100644
--- a/src/library-effects.md
+++ b/src/library-effects.md
@@ -230,7 +230,7 @@ mod HttpWithResult {
 ### Example: Using `HttpWithResult`
 
 ```flix
-def main(): Unit \ {Net, IO} =
+def main(): Unit \ IO =
     run {
         match HttpWithResult.get("http://example.com/", Map.empty()) {
             case Result.Ok(response) =>
@@ -319,7 +319,7 @@ def execWithEnv(cmd: String, args: List[String], env: Map[String, String])
 ### Example: Using `ProcessWithResult`
 
 ```flix
-def main(): Unit \ {Exec, IO} =
+def main(): Unit \ IO =
     run {
         match ProcessWithResult.exec("ls", Nil) {
             case Result.Ok(_)    => ()