From 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 10 Jun 2026 13:34:38 -0400 Subject: specify type representation --- mkdocs.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 370bce9..f220a9a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -10,10 +10,10 @@ nav: - Operators: 'language/operators.md' - Ownership: 'language/ownership.md' - Type System: - - Templates: 'type_system/index.md' + - Types: 'type_system/index.md' - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - - Enum: 'type_system/enum.md' + - Select: 'type_system/select.md' - Bit: 'type_system/bit.md' - Group: 'type_system/group.md' - Buffer: 'type_system/buffer.md' @@ -25,7 +25,7 @@ nav: - Const: 'type_system/const.md' - Empty: 'type_system/empty.md' - Ref: 'type_system/ref.md' - - Gc: 'type_system/gc.md' + - Shared: 'type_system/shared.md' - Var: 'type_system/var.md' - Function: 'type_system/function.md' - Task: 'type_system/task.md' -- cgit v1.2.3