Learn Idris with it's creator Edwin Brady.
www.idris-lang.org
Tickets available from eventbrite
to
(Europe/London time)
Tickets: www.eventbrite.co.uk
More Information
Tickets
Attending: 1 person.