# Programming formalisms — Shared document Nov 2024

- Zoom: <https://uu-se.zoom.us/j/66734860266>
- Passcode: 195328

- Course material:
- <https://uppmax.github.io/programming_formalisms>
- Shared project:
- <https://github.com/programming-formalisms/programming_formalisms_project_autumn_2024>

## Day 1

### Introduction

#### Questions
- Q:
- A:
- Q:
- A:
- Q:
- A:

### Tools

- Q:
- A:
- Q:
- A:

#### Markdown tests
##### Example by Sven
**Bold** and *emphasized*.

#### UML tests
##### Example

flowchart TD
      unit_tests[Unit test]
      unit_tests --> |As many times as necessary| unit_tests
      unit_tests --> |worst bugs fixed| alpha
      alpha[Alpha release]
      alpha --> |As many times as necessary| unit_tests
      alpha --> |worst bugs fixed| beta
      beta[Beta release]
      beta --> |As many times as necessary| alpha
      beta --> |minor bugs fixed| done
      done[Finished program]

### Retrospect

##### What helped us learn (let us move forward)

- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:

##### What stopped us from learning (What held us back)

- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:

##### What could we do to improve learning (What can we invent)

- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:
- A:

#### What will we do(Act) [Teachers only]