Wiederaufnahmetreffen

Erstes Treffen nach dem Lockdown. Das genaue Programm steht noch nicht fest, aber es gibt noch den einen oder anderen Vortrag fortzusetzen.

Tim hat noch einen Rest “Programmieren auf Typebene in TypeScript” übrig.

Simons Modallogik-Serie umfaßt noch einen dritten Teil über Kripke-Semantik, der (wie die anderen auch) in Haskell skizziert ist.