aboutsummaryrefslogtreecommitdiffhomepage
path: root/docs/mkdocs.yml
diff options
context:
space:
mode:
authorMarvin Borner2023-11-06 00:24:11 +0100
committerMarvin Borner2023-11-06 00:24:31 +0100
commit9d722a0b6138827de743f9fe4acbf3f2c1830bb0 (patch)
tree789b8df72f0f2cae2bb4009ddb93b914bf83eb2c /docs/mkdocs.yml
parent027fc0f91ae7bf64564091fbcec7694f5d53d8fe (diff)
Started creating new docs with wiki
Diffstat (limited to 'docs/mkdocs.yml')
-rw-r--r--docs/mkdocs.yml59
1 files changed, 59 insertions, 0 deletions
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
new file mode 100644
index 0000000..9b557ca
--- /dev/null
+++ b/docs/mkdocs.yml
@@ -0,0 +1,59 @@
+site_name: Bruijn Wiki
+docs_dir: wiki_src/
+site_dir: wiki/
+
+extra_css: [custom.css]
+
+theme:
+ name: terminal
+ palette: dark
+ features:
+ - navigation.top.cursor_animation.hide
+ - footer.prev_next
+
+nav:
+ - Index: index.md
+ - Introduction:
+ - introduction/installation.md
+ - introduction/lambda-calculus.md
+ - introduction/setup.md
+ - introduction/syntax.md
+ - Coding:
+ - coding/REPL.md
+ - TDD: coding/test-driven-development.md
+ - coding/mixfix.md
+ - coding/prefix.md
+ - coding/recursion.md
+ - coding/data-structures.md
+ - coding/combinators.md
+ - coding/currying.md
+ - coding/laziness.md
+ - coding/IO.md
+ - coding/meta-programming.md
+ - UFCS: coding/uniform-function-call-syntax.md
+ - coding/style.md
+ - coding/typing.md
+ - coding/compilation.md
+ - coding/performance.md
+ - coding/examples.md
+ - Technical:
+ - technical/arithmetic.md
+ - technical/reduction.md
+ - Landing page: https://bruijn.marvinborner.de
+ - GitHub: https://github.com/marvinborner/bruijn
+
+markdown_extensions:
+ - attr_list
+ - def_list
+ - footnotes
+ - md_in_html
+ - meta
+ - toc:
+ permalink: "#"
+ permalink_title: Anchor link to this section for reference
+ - pymdownx.caret
+ - pymdownx.mark
+ - pymdownx.tilde
+ - pymdownx.snippets:
+ base_path:
+ - wiki_src