summaryrefslogtreecommitdiff
path: root/mkdocs.yml
blob: f220a9aba4e5b9ff2b3db9def7a4bc998ef5dcf9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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'