Past Meetups (8)

What we're about

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 (

Members (43)

Photos (8)

Find us also at