Programm für das vierte Treffen am 16. Juli 2015

Ingo setzt die Einführung in Kategorientheorie fort.

Makarius spielt mit ein paar Variationen von Currying in Isabelle: Das schließt sich im weitesten Sinne auch an die Kategorientheorie an, das heißt man geht mit Pfeilen, Produkten, Koprodukten etc. formal und spielerisch um.

Weitere TOPs:

• Prozess für Themenfindung überlegen
• Über Projekte & alles andere ratschen (in Gruppen?)