Vergangene Meetups (8)

Worum es bei uns geht

Idris is a functional programming language with dependent types. Although still early stage, it's is probably the most fascinating programming language on the horizon. This user group is about hacking with Idris and meets once a month.

Logo Design by Johannes Anslinger from iOiO.Design (

Mitglieder (43)

Fotos (8)

Du findest uns auch auf