Programm für das zweite Treffen am 21. Mai 2015

Tim wird seinen Vortrag vom ersten Treffen über typsicheres Routing in Haskell durch Programmierung auf Typ-Ebene fortsetzen.

Profpatsch stellt die Technik hinter unserer Webseite vor.

Lars hält einen Vortrag zu monadischer Ein-/Ausgabe. Damit beginnen wir die Serie What the Kmett is a monad?.

Makarius gibt uns eine kurze Einführung in Isabelle (mit einigen Anklängen an den Zusammenhang von funktionaler Programmierung und Logik, z.B. mit einem formalen Beweis der Aussage im Logo des Curry Club).