diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-09 17:08:10 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-09 17:08:10 -0400 |
| commit | 43b760058ae67f060fe89e6538d872fe982b3cb6 (patch) | |
| tree | 9dce0da13d5d9d57915da464c218f6c0576b11aa /mkdocs.yml | |
| parent | 4c3c63f39e9ceb5eff26a39f7c53189e700bb2e4 (diff) | |
container types
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -20,3 +20,11 @@ nav: - Float: 'type_system/float.md' - Option: 'type_system/option.md' - Result: 'type_system/result.md' + - Lock: 'type_system/lock.md' + - Buffer: 'type_system/buffer.md' + - Tuple: 'type_system/tuple.md' + - Table: 'type_system/table.md' + - Array: 'type_system/array.md' + - Vector: 'type_system/vector.md' + - Map: 'type_system/map.md' + - Set: 'type_system/set.md' |