len/mkdocs.yml at main · ewiger/len · GitHub

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
55
56
57
58
59
60
61
62
site_name: len Language Docs
site_description: Reference and tutorials for the len meta-programming language
repo_url: https://github.com/ewiger/len
repo_name: ewiger/len
site_dir: doc/lang-html
docs_dir: doc/lang
use_directory_urls: false

theme:
  name: material
  language: en
  font:
    text: IBM Plex Sans
    code: IBM Plex Mono
  palette:
    - scheme: default
      primary: teal
      accent: amber
  features:
    - navigation.sections
    - navigation.expand
    - navigation.top
    - navigation.footer
    - content.action.edit
    - content.code.copy

edit_uri: edit/main/doc/lang/

plugins:
  - search

markdown_extensions:
  - tables
  - fenced_code
  - admonition
  - attr_list
  - md_in_html
  - pymdownx.highlight:
      anchor_linenums: true
  - pymdownx.inlinehilite
  - pymdownx.superfences
  - toc:
      permalink: true

extra_css:
  - stylesheets/extra.css

nav:
  - Home: index.md
  - Concepts: concepts.md
  - CLI: cli.md
  - Reference:
      - Keywords: reference/keywords.md
      - Syntax: reference/syntax.md
  - Tutorials:
      - Hello World: tutorials/01-hello-world.md
      - Types and Relations: tutorials/02-types-and-relations.md
      - Writing Specifications: tutorials/03-writing-specifications.md
      - Functions and Quasi: tutorials/04-functions-and-quasi.md
      - Contracts and Structs: tutorials/05-contracts-and-structs.md
      - Coming from Java: tutorials/06-from-java.md
      - PostgreSQL Schema Generation: tutorials/07-postgres-schema-generation.md