site_name: KPL Specification
site_dir: 'public'
repo_url: https://git.kpl.dev/kpl-specification/
repo_name: Markdown Source
copyright: Copyright © nodist
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'
    - 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'
    - Var: 'type_system/var.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'
  - Application:
    - Runtime: 'application/index.md'
    - Interface: 'application/interface.md'
    - Type: 'application/type.md'
    - Pool: 'application/pool.md'
    - Name: 'application/name.md'
    - Thread: 'application/thread.md'
    - Io: 'application/io.md'
    - Gc: 'application/gc.md'
    - Group: 'application/group.md'
    - Buffer: 'application/buffer.md'
    - Map: 'application/map.md'
    - Queue: 'application/queue.md'
    - Namespace: 'application/namespace.md'
    - Testing: 'application/testing.md'