diff options
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 17 |
1 files changed, 4 insertions, 13 deletions
@@ -21,29 +21,20 @@ nav: - 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' + - Buffer: 'type_system/buffer.md' - Map: 'type_system/map.md' - - Set: 'type_system/set.md' - Queue: 'type_system/queue.md' - Union: 'type_system/union.md' - Shared: 'type_system/shared.md' - Error: 'type_system/error.md' + - Regex: 'type_system/regex.md' - Var: 'type_system/var.md' - Fn: 'type_system/fn.md' - - State: 'type_system/state.md' - - Regex: 'type_system/regex.md' - - Namespace: 'type_system/namespace.md' - - Token: 'type_system/token.md' + - Overload: 'type_system/overload.md' - Value: 'type_system/value.md' - - Clause: 'type_system/clause.md' - Name: 'type_system/name.md' - - Define: 'type_system/define.md' - Symbol: 'type_system/symbol.md' - Op: 'type_system/op.md' - List: 'type_system/list.md' - - Action: 'type_system/action.md' - + - Namespace: 'type_system/namespace.md' |