-
Notifications
You must be signed in to change notification settings - Fork 9
/
mkdocs.yaml
138 lines (130 loc) · 4.71 KB
/
mkdocs.yaml
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
site_name: Programming Formalisms
repo_url: https://github.com/UPPMAX/programming_formalisms
nav:
- Home: index.md
- Pre-requirements: prereqs.md
- About the course: intro.md
- Project:
- Intro: project/README.md
- Using GitHub Issues and Project: project/github_issues_and_project.md
- Team roles: project/team_roles.md
- Create class list: project/create_class_list.md
- Create structs: project/create_struct.md
- Dream design: project/dream_design.md
- Monday:
- Intro: monday_intro.md
- Introduction: introductions/intro.md
- SDLC tools: introductions/sdlc_tools.md
- Get started with a project: project_start/startup.md
- Software Development Lifecycle: introductions/sdlc.md
- Project start with analysis and design: project_start/analysis_design.md
- Summary of day: monday_summary.md
- Tuesday:
- Intro: tuesday_intro.md
- Class design: design_develop/class_design.md
- Pair programming: pair_programming/README.md
- Test-driven development: tdd/README.md
- Summary of day: tuesday_summary.md
- Wednesday:
- Intro: wednesday_intro.md
- Branching and local merging: git/branches.md
- Branching in practice: git/apply_branches.md
- Merging and git pull request with code review: git/pull.md
- Merging in practice: git/apply_merge.md
- Testing overview: testing/README.md
- Using a formal testing framework: testing/testing_framework.md
- Testing indeterminate functions: testing/testing_indeterminate_functions.md
- Continuous integration: testing/continuous_integration.md
- Testing in a team: testing/testing_in_a_team.md
- Summary of day: wednesday_summary.md
- Thursday:
- Intro: thursday_intro.md
- Data structures: data_structures/README.md
- Data structures, expressive data types: data_structures/expressive_data_type.md
- Data structures, a 'has-a' relation: data_structures/has_a_relation.md
- Data structures, class design: data_structures/class_design.md
- Algorithms: algorithms/README.md
- Algorithms, function design: algorithms/function_design.md
- Algorithms, assert: algorithms/assert.md
- Algorithms, recursive algorithms: algorithms/recursive_algorithms.md
- Optimisation: optimisation/README.md
- Optimisation, misconceptions: optimisation/misconceptions.md
- Optimisation, big-O: optimisation/big_o.md
- Optimisation, runtime speed profiles: optimisation/runtime_speed_profiles.md
- Summary of day: thursday_summary.md
- Friday:
- Intro: friday_intro.md
- Modular programming: modularity/modular.md
- Deploy: deployment/deploy.md
- Documentation: deployment/documentation.md
- Summary of day: friday_summary.md
- Summary of week: summary_week.md
- Reading material:
- Reading material: reading/README.md
- More about:
- Extra material (Earlier Intro day materials): extra.md
- Misc:
- FAQ: misc/faq.md
- Exercise procedure: misc/exercise_procedure.md
- Functions to practice TDD: misc/functions.md
- git workflow: misc/git_workflow.md
- GitHub workflow: misc/github_workflow.md
- Projects: misc/projects.md
- Retrospective: misc/retrospective.md
- Richèl: misc/richel.md
theme:
name: material
greetings: Welcome to the Programming Formalisms course materials
font:
text: Lato
code: JetBrains Mono
logo: assets/programming_formalism_logo_rhs.png
features:
- toc.integrate
- navigation.tabs
- navigation.tabs.sticky
- navigation.sections
- navigation.path
- navigation.footer
- navigation.expand
- search.suggest
- content.code.annotate
- content.code.copy
- content.tabs.link
custom_dir: mkdocs_uppmax/
extra_css:
- stylesheets/extra.css
markdown_extensions:
- toc:
toc_depth: 2
permalink: true
permalink_title: Anchor link to this section for reference
- admonition
- tables
- attr_list
- footnotes
- pymdownx.details
- pymdownx.tabbed:
alternate_style: true
- 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.keys
- md_in_html
- pymdownx.emoji:
emoji_index: !!python/name:materialx.emoji.twemoji
emoji_generator: !!python/name:materialx.emoji.to_svg
- pymdownx.arithmatex:
generic: true
- mkdocs_graphviz
extra_javascript:
- https://cdn.jsdelivr.net/gh/rod2ik/cdn@main/mkdocs/javascripts/massilia-graphviz.js
- javascripts/mathjax.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js