GitHub - Funky-Punky/FPV_SoSe23_Fr-14-16

Materialien für das FPV Tutorium von Jonas im SoSe23 Freitag von 14 bis 16 Uhr

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
w01 - Implications, Assertions and Conditions		w01 - Implications, Assertions and Conditions
w02 - Weakest Precondition		w02 - Weakest Precondition
w03 - Loop Invariants		w03 - Loop Invariants
w04 - Termination		w04 - Termination
w05 - Ocaml		w05 - Ocaml
w06 - Lists and Trees		w06 - Lists and Trees
w07 - more List Module and Operator Functions		w07 - more List Module and Operator Functions
w08 - Lazy Evaluation and Partial Aplication		w08 - Lazy Evaluation and Partial Aplication
w09 - Side Effects, Unit Chaining, Exceptions and Files		w09 - Side Effects, Unit Chaining, Exceptions and Files
w10 - Modules		w10 - Modules
w11 - Big Step Proofs		w11 - Big Step Proofs
w12 - Equational Reasoning		w12 - Equational Reasoning
w13 - Threading		w13 - Threading
.gitignore		.gitignore
README.md		README.md

Provide feedback