blob: 5efdac1829b0abc2c32369b6c273246c0e1f5431 (
plain) (
blame)
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
|
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
|
