==== Mini-Protokoll MBProg SS23 ====
I was very nervous, so I probably don't remember everything.

=== Lambda calculus ===
  * definition of untyped lambda calculus
  * divergence (Omega) and fixpoint combinator Y
  * list different evaluation semantics (lazy/eager, big/small step) in PCF
  * choose your favourite and write down definition
  * connection between big step and small step

=== Partial Orders ===
  * definition of Kleene's fixpoint theorem
    * explain what that means!

=== Categories ===
  * definition of a category
  * definition of soundness

=== Monads ===
  * write down your favourite definition of a monad
  * example: powerset
  * definition of strong monad