From d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 13 May 2026 16:12:32 -0400 Subject: all functions return a task --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index a9733dd..5011f46 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -18,7 +18,6 @@ nav: - Flag: 'type_system/flag.md' - Int: 'type_system/int.md' - Float: 'type_system/float.md' - - Option: 'type_system/option.md' - Result: 'type_system/result.md' - Lock: 'type_system/lock.md' - Tuple: 'type_system/tuple.md' @@ -30,6 +29,7 @@ nav: - Error: 'type_system/error.md' - Var: 'type_system/var.md' - Fn: 'type_system/fn.md' + - Task: 'type_system/task.md' - Overload: 'type_system/overload.md' - Value: 'type_system/value.md' - Name: 'type_system/name.md' -- cgit v1.2.3