A hands on session with Idris (an experimental functional programming language with full spectrum dependent types). The aim is to get Idris up and running, work through some simple examples and share what we can get working. Possibly even the dependently typed space invaders! No Idris experience necessary, we are taking first steps.
This meeting is at SkillsMatter. You need to to register and let them know you are coming at: https://www.skillsmatter.com/meetups/6182-hands-on-idris
Arrive from 6pm. Meeting starts at 6-30pm and we will head to the pub afterwards.
Bring your laptop, we will be coding.
P.S. If the tube strike goes ahead and you can't make it then we will try and run the session again on another day