From a13b72d789c6e2ee3d94bd1b19aad3dda0aea3c3 Mon Sep 17 00:00:00 2001 From: nodist Date: Tue, 9 Jun 2026 10:32:38 -0400 Subject: inline fn defs --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 2cf8665..09e08ba 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -27,7 +27,7 @@ nav: - Ref: 'type_system/ref.md' - Shared: 'type_system/shared.md' - Var: 'type_system/var.md' - - Fn: 'type_system/fn.md' + - Function: 'type_system/function.md' - Task: 'type_system/task.md' - Overload: 'type_system/overload.md' - Value: 'type_system/value.md' -- cgit v1.2.3