diff options
Diffstat (limited to 'mkdocs.yml')
| -rw-r--r-- | mkdocs.yml | 70 |
1 files changed, 4 insertions, 66 deletions
@@ -1,71 +1,9 @@ site_name: KPL Specification site_dir: 'public' repo_url: https://git.kpl.dev/kpl-specification/ -repo_name: Markdown Source +repo_name: Source copyright: Copyright © nodist +theme: readthedocs nav: - - Main: 'index.md' - - Language: - - Syntax: 'language/index.md' - - Operators: 'language/operators.md' - - Ownership: 'language/ownership.md' - - Type System: - - Types: 'type_system/index.md' - - Alias: 'type_system/alias.md' - - Unique: 'type_system/unique.md' - - Var: 'type_system/var.md' - - Generic: 'type_system/generic.md' - - Select: 'type_system/select.md' - - Bit: 'type_system/bit.md' - - Group: 'type_system/group.md' - - Buffer: 'type_system/buffer.md' - - Map: 'type_system/map.md' - - Queue: 'type_system/queue.md' - - Union: 'type_system/union.md' - - Native: 'type_system/native.md' - - Error: 'type_system/error.md' - - Const: 'type_system/const.md' - - Empty: 'type_system/empty.md' - - Ref: 'type_system/ref.md' - - Shared: 'type_system/shared.md' - - Function: 'type_system/function.md' - - Task: 'type_system/task.md' - - Overload: 'type_system/overload.md' - - Value: 'type_system/value.md' - - Name: 'type_system/name.md' - - Symbol: 'type_system/symbol.md' - - Op: 'type_system/op.md' - - List: 'type_system/list.md' - - Lock: 'type_system/lock.md' - - Namespace: 'type_system/namespace.md' - - Ir: 'type_system/ir.md' - - Application: - - Runtime: 'application/index.md' - - Interface: 'application/interface.md' - - Thread: 'application/thread.md' - - Mutex: 'application/mutex.md' - - Memory: 'application/memory.md' - - Io: 'application/io.md' - - Shared: 'application/shared.md' - - Identifier: 'application/identifier.md' - - Type: 'application/type.md' - - Group: 'application/group.md' - - Buffer: 'application/buffer.md' - - Map: 'application/map.md' - - Queue: 'application/queue.md' - - Union: 'application/union.md' - - Native: 'application/native.md' - - Namespace: 'application/namespace.md' - - Error: 'application/error.md' - - Testing: 'application/testing.md' - - Life Cycle: - - Register: 'lifecycle/register.md' - - Parse: 'lifecycle/parse.md' - - Scope: 'lifecycle/scope.md' - - Import: 'lifecycle/import.md' - - Check: 'lifecycle/check.md' - - Eval: 'lifecycle/eval.md' - - Ir: 'lifecycle/ir.md' - - Jit: 'lifecycle/jit.md' - - Exec: 'lifecycle/exec.md' - - Notify: 'lifecycle/notify.md' + - Overview: index.md + - Definitions: definitions.md |