Hi,
Diesen Freitag wird es im Hackerspace Bielefeld wieder etwas technischer.
Es wird um Programmierung mit dependent types in der Programmiersprache
Idris gehen (idris-lang.org)
Wer sich also für funktionale Programmierung und proof-carrying Code
interessiert sollte mal bei uns rein schauen 🙂
Der Talk beginnt um 20 Uhr in den Räumen des Hackerspace Bielefeld
(hackerspace-bielefeld.de) an der Sudbrackstraße 42 in Bielefeld.
Würden uns freuen Euch zu sehen.
Gruß
raichoo vom HSB