ProPa-Subtitles

Suggest changes per pull requests, please.

Note that the editor settings provided as an .editorconfig file can be enforced by most editors either directly or after installing some plugin.

Concerning use of quotation marks, try to follow rules that mirror the following examples:

When we call 'rectangle', something happens on screen.
Wenn wir 'rectangle' aufrufen, erscheint ein Rechteck auf dem Bildschirm.
When we call the 'rectangle' function, something happens on screen.
Wenn wir die rectangle-Funktion aufrufen, erscheint ein Rechteck auf dem Bildschirm.
We could say: "This 'rectangle' function is a strange thing."
Wir könnten sagen: "Diese rectangle-Funktion ist echt merkwürdig."
Wir könnten sagen: "Jeder Aufruf von 'rectangle' macht etwas mit uns."
Doing what we just did is a bit "funny".
Was wir gerade getan haben, ist "lustig".
The QuickCheck library has been copied in many other programming languages.
Die Bibliothek QuickCheck wurde in vielen Programmiersprachen nachgeahmt.
The variable xs is used here to stand for a list.
Die Variable xs wird hier als Platzhalter für eine Liste benutzt.
For the case n = 1 everything is very simple.
Der Fall n = 1 ist wirklich einfach.
The type String is pre-defined, but we can also define our own types like Tree.
Der Typ 'String' ist vordefiniert, aber wir können auch eigene Typen wie 'Tree' definieren.

The beginnings of individual slides in the respective subtitle files can be annotated as in this commit.

Leader board