diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
| commit | 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 (patch) | |
| tree | 03643ee752fb6df836d662df1ce099d547d708dd /mkdocs.yml | |
| parent | aebce1e48e81559ffe5f496af855a1140d8e0107 (diff) | |
specify type representation
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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' |