summaryrefslogtreecommitdiff
path: root/mkdocs.yml
blob: d595a1db0d89bf634e521dad622048bc03227263 (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
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'
  - Syntax:
    - Code: 'syntax/index.md'
    - Define: 'syntax/define.md'
    - Cast: 'syntax/cast.md'
    - Print: 'syntax/print.md'
  - Type System:
    - Templates: 'type_system/index.md'
    - Alias: 'type_system/alias.md'
    - Unique: 'type_system/unique.md'
    - Enum: 'type_system/enum.md'
    - Int: 'type_system/int.md'
    - Float: 'type_system/float.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'
    - Object: 'type_system/object.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'