summaryrefslogtreecommitdiff
path: root/mkdocs.yml
blob: ede8c0b52ccc6cf95cd9b93b3637cd33cad3bfe9 (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
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:
    - Templates: 'type_system/index.md'
    - Alias: 'type_system/alias.md'
    - Unique: 'type_system/unique.md'
    - Enum: 'type_system/enum.md'
    - Bit: 'type_system/bit.md'
    - Tuple: 'type_system/tuple.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'
    - Shared: 'type_system/shared.md'
    - Error: 'type_system/error.md'
    - Const: 'type_system/const.md'
    - Empty: 'type_system/empty.md'
    - Lock: 'type_system/lock.md'
    - Ref: 'type_system/ref.md'
    - Var: 'type_system/var.md'
    - Fn: 'type_system/fn.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'
    - Namespace: 'type_system/namespace.md'
  - Application:
    - Runtime: 'application/index.md'
    - Interface: 'application/interface.md'
    - Type: 'application/type.md'
    - Pool: 'application/pool.md'
    - Thread: 'application/thread.md'
    - Namespace: 'application/namespace.md'
    - Testing: 'application/testing.md'