In this meetup we'll hack again some Idris together! This time, we'll switch from the dimension of value-level programming, that we all know from our daily programming languages, to the dimension of type-level functions. Therefore we'll do some exercise together from Edwin Brady's awesome book Type-driven Development in Idris.
Bring your laptop! Would be good if you could preinstall Idris, Atom and the Idris-Atom plugin.
PD: Startplatz was so kind to host us for this meetup. So please join numerously so we can show them that this group is worth hosting :-)