Idris Einführung zur Coders Night am 6ten Juni
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 … weiter lesen