2022-04-06 16:18:31 +01:00
|
|
|
site_name: Tristan Programming Language
|
|
|
|
|
2022-11-22 17:10:47 +00:00
|
|
|
# TODO: Fix the site url such that the blogging plugin shuts up
|
2023-04-18 17:34:14 +01:00
|
|
|
# site_url: http://journal/
|
2022-11-22 17:09:43 +00:00
|
|
|
|
2022-10-23 21:11:36 +01:00
|
|
|
# TODO: We must host fonts locally
|
|
|
|
# https://t.pxeger.com/mkdocs-material/setup/changing-the-fonts/
|
|
|
|
|
2022-10-23 20:45:11 +01:00
|
|
|
repo_url: http://deavmi.assigned.network/git/tlang/tlang
|
|
|
|
repo_name: tlang/tlang
|
|
|
|
|
2023-01-13 15:09:15 +00:00
|
|
|
nav:
|
|
|
|
- Home: index.md
|
|
|
|
- Introduction:
|
|
|
|
- Why: introduction/11-why.md
|
|
|
|
- Aims: introduction/12-aims.md
|
|
|
|
- Language:
|
|
|
|
- Introduction: language/30-index.md
|
|
|
|
- Grammar: language/31-grammar.md
|
|
|
|
- Literals: language/32-literals.md
|
|
|
|
- Types: language/33-types.md
|
|
|
|
- Variables: language/34-variables.md
|
|
|
|
- Conditionals: language/35-conditionals.md
|
|
|
|
- Loops: language/36-loops.md
|
|
|
|
- Funtions: language/37-functions.md
|
2023-04-14 20:55:00 +01:00
|
|
|
- Arrays: language/38-arrays.md
|
|
|
|
- Pointers: language/39-pointers.md
|
2023-04-18 18:58:30 +01:00
|
|
|
- Extern: language/43-extern.md
|
2023-04-18 19:19:08 +01:00
|
|
|
- Structs: language/40-structs.md
|
2023-04-18 19:14:09 +01:00
|
|
|
- OOP: language/41-oop.md
|
|
|
|
- Modules: language/42-modules.md
|
2023-04-18 19:19:08 +01:00
|
|
|
- Annotations: language/44-annotations.md
|
2023-05-29 15:53:51 +01:00
|
|
|
- Configuration: language/50-configuration.md
|
2023-01-13 15:31:14 +00:00
|
|
|
- Implementation:
|
|
|
|
- Introduction: implementation/30-introduction.md
|
|
|
|
- Lexical analysis: implementation/31-lexical.md
|
|
|
|
- Parsing: implementation/32-parsing.md
|
2023-01-13 21:50:56 +00:00
|
|
|
- Naming: implementation/33-naming.md
|
|
|
|
- Dependency generation: implementation/34-dependency.md
|
|
|
|
- Typechecking and codegen: implementation/35-typechecking.md
|
|
|
|
- Emit: implementation/36-emit.md
|
2023-01-22 16:03:11 +00:00
|
|
|
- Compiler: implementation/37-compiler.md
|
2023-05-29 15:53:51 +01:00
|
|
|
- Meta: implementation/38-meta.md
|
2023-04-18 21:27:59 +01:00
|
|
|
# - Journal:
|
|
|
|
# - Why: journal/why.md
|
|
|
|
# - First day: journal/first-day.md
|
|
|
|
# - First update: journal/update-1.md
|
|
|
|
# - Parsing begins: journal/parsing-begins.md
|
|
|
|
# - Parsing Update 1: journal/parser-update-1.md
|
|
|
|
# - Parsing Update 2: journal/parser-update-2.md
|
|
|
|
# - Why: journal/why.md
|
|
|
|
# - Why: journal/why.md
|
|
|
|
# - Why: journal/why.md
|
|
|
|
# - Why: journal/why.md
|
2023-04-18 19:11:05 +01:00
|
|
|
|
2023-04-18 21:27:59 +01:00
|
|
|
# - Dependency generation: journal/deps.md
|
|
|
|
# - Path-hopping: journal/deps_next.md
|
|
|
|
# - 2K22: journal/2K22.md
|
|
|
|
# - July Updates: journal/jul_updates.md
|
|
|
|
# - Code emitter: journal/code_emitter.md
|
|
|
|
# - Why: journal/why.md
|
|
|
|
# - Why: journal/why.md
|
2023-01-13 15:09:15 +00:00
|
|
|
|
2022-10-23 20:45:11 +01:00
|
|
|
theme:
|
2023-04-18 16:39:25 +01:00
|
|
|
name: bootstrap-classic
|
2022-10-23 20:45:11 +01:00
|
|
|
logo: logo.png
|
|
|
|
favicon: logo.png
|
|
|
|
features:
|
|
|
|
- search.highlight
|
|
|
|
palette:
|
|
|
|
primary: indigo
|
|
|
|
|
2022-04-06 16:18:31 +01:00
|
|
|
plugins:
|
|
|
|
- search
|
2023-01-13 14:56:38 +00:00
|
|
|
- exclude:
|
|
|
|
glob:
|
|
|
|
- docs/00-bookindex.md
|
|
|
|
|
2022-04-06 16:18:31 +01:00
|
|
|
|
|
|
|
#TODO: See if we can get git commit authors automatically on each page
|
|
|
|
#TODO: See if we can ehnace material docs theme
|
|
|
|
|
|
|
|
extra_css:
|
|
|
|
- css/hint.min.css
|
|
|
|
|
|
|
|
markdown_extensions:
|
2022-10-27 20:01:27 +01:00
|
|
|
- pymdownx.caret
|
|
|
|
- pymdownx.mark
|
|
|
|
- pymdownx.tilde
|
|
|
|
|
2023-01-13 14:56:38 +00:00
|
|
|
- pymdownx.arithmatex:
|
|
|
|
generic: true
|
2022-10-27 20:01:27 +01:00
|
|
|
|
2022-04-06 16:18:31 +01:00
|
|
|
- pymdownx.highlight:
|
|
|
|
anchor_linenums: true
|
|
|
|
- pymdownx.inlinehilite
|
|
|
|
- pymdownx.snippets
|
|
|
|
- pymdownx.superfences:
|
|
|
|
custom_fences:
|
|
|
|
- name: mermaid
|
|
|
|
class: mermaid
|
|
|
|
format: !!python/name:pymdownx.superfences.fence_code_format
|
|
|
|
|
|
|
|
- pymdownx.tabbed:
|
|
|
|
alternate_style: true
|
|
|
|
|
|
|
|
- admonition
|
|
|
|
- pymdownx.details
|
|
|
|
|
2022-04-12 10:31:40 +01:00
|
|
|
- pymdownx.tasklist:
|
|
|
|
custom_checkbox: true
|
|
|
|
|
2022-10-23 20:03:51 +01:00
|
|
|
- attr_list
|
|
|
|
|
|
|
|
- pymdownx.emoji:
|
|
|
|
emoji_index: !!python/name:materialx.emoji.twemoji
|
|
|
|
emoji_generator: !!python/name:materialx.emoji.to_svg
|
|
|
|
|
2022-04-06 16:18:31 +01:00
|
|
|
|
2023-01-13 14:56:38 +00:00
|
|
|
extra_javascript:
|
|
|
|
- javascripts/mathjax.js
|
|
|
|
- https://polyfill.io/v3/polyfill.min.js?features=es6
|
|
|
|
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
|