From d3a576f02b5d02245ce98741ffa6440ba5179cfb Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 11 May 2026 17:05:10 -0400 Subject: reduce number of types --- mkdocs.yml | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) (limited to 'mkdocs.yml') diff --git a/mkdocs.yml b/mkdocs.yml index 705b2e7..349cd0f 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -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' -- cgit v1.2.3