diff options
| author | Marvin Borner | 2023-11-06 18:50:35 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-11-06 18:50:35 +0100 |
| commit | 1f7231153c172500f1073ddb22ec911379f83a07 (patch) | |
| tree | f6914c30fcbeaf44c12b405eaa09065fb8203ac7 /docs/mkdocs.yml | |
| parent | 9d722a0b6138827de743f9fe4acbf3f2c1830bb0 (diff) | |
Improved wiki and reduced readme
Diffstat (limited to 'docs/mkdocs.yml')
| -rw-r--r-- | docs/mkdocs.yml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 9b557ca..1b7fd60 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -15,12 +15,11 @@ nav: - Index: index.md - Introduction: - introduction/installation.md - - introduction/lambda-calculus.md - introduction/setup.md + - introduction/lambda-calculus.md - introduction/syntax.md - Coding: - coding/REPL.md - - TDD: coding/test-driven-development.md - coding/mixfix.md - coding/prefix.md - coding/recursion.md @@ -32,13 +31,12 @@ nav: - coding/meta-programming.md - UFCS: coding/uniform-function-call-syntax.md - coding/style.md - - coding/typing.md + - TDD: coding/test-driven-development.md - coding/compilation.md - - coding/performance.md - - coding/examples.md - Technical: - - technical/arithmetic.md + - technical/performance.md - technical/reduction.md + - Examples: coding/examples.md - Landing page: https://bruijn.marvinborner.de - GitHub: https://github.com/marvinborner/bruijn |