Neuntes Treffen am 3. Dezember 2015

Ingo stellte die von Martín Escardó publizierten scheinbar unmöglichen funktionalen Programme vor: Wie kann man in endlicher Zeit unendliche, ja sogar überabzählbar unendliche, Datenstrukturen absuchen?

Der Code vom Vortrag ist auf Github.

Profpatsch gab einen Einblick in die Haskell-Bibliothek brick geben, und in das Design-Schema, auf dem sie basiert und dem einige andere Bibliotheken folgen.