site_name: Bruijn Wiki
docs_dir: wiki_src/
site_dir: wiki/

extra_css: [custom.css, ../code.css]
extra_javascript: [../code.js]

theme:
  name: terminal
  palette: dark
  features:
    - navigation.top.cursor_animation.hide
    - footer.prev_next

nav:
  - Index: index.md
  - Introduction:
    - introduction/installation.md
    - introduction/setup.md
    - introduction/lambda-calculus.md
    - introduction/syntax.md
    - introduction/animations.md
  - Coding:
    - coding/REPL.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
    - TDD: coding/test-driven-development.md
    - coding/compilation.md
  - Technical:
    - technical/performance.md
    - technical/reduction.md
  - Examples: coding/examples.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