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 (http://ioio.design/)