From a3ce6487e845a534bd0d710e19957cdf7001a7a8 Mon Sep 17 00:00:00 2001 From: nodist Date: Thu, 14 May 2026 14:30:08 -0400 Subject: task holds error --- mkdocs.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 5011f46..b5f7d1d 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -11,15 +11,12 @@ nav: - Cast: 'syntax/cast.md' - Type System: - Templates: 'type_system/index.md' - - Qualifiers: 'type_system/qualifiers.md' - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - Enum: 'type_system/enum.md' - Flag: 'type_system/flag.md' - Int: 'type_system/int.md' - Float: 'type_system/float.md' - - Result: 'type_system/result.md' - - Lock: 'type_system/lock.md' - Tuple: 'type_system/tuple.md' - Buffer: 'type_system/buffer.md' - Map: 'type_system/map.md' @@ -27,6 +24,10 @@ nav: - Union: 'type_system/union.md' - Shared: 'type_system/shared.md' - Error: 'type_system/error.md' + - Const: 'type_system/const.md' + - Empty: 'type_system/empty.md' + - Lock: 'type_system/lock.md' + - Ref: 'type_system/ref.md' - Var: 'type_system/var.md' - Fn: 'type_system/fn.md' - Task: 'type_system/task.md' -- cgit v1.2.3