Idris Launchpad
-
New!Summary changed:Idris LaunchpadDescription changed:Learn Idris with it's creator Edwin Brady.
http://www.idris-lang.org/
More details to follow.Start changed:Sat 22nd Nov 2014 9:00am (Europe/London)End changed:Sat 22nd Nov 2014 5:00pm (Europe/London)Country changed:changedTimezone changed:Europe/LondonIs Virtual changed:NoIs Physical changed:YesEdited at by henry -
Venue changed:changedEdited at by henry
-
Description changed:Learn Idris with it's creator Edwin Brady.
http://www.idris-lang.org/
More details to follow soon.Edited at by henry -
Description changed:Learn Idris with it's creator Edwin Brady.
http://www.idris-lang.org/
Tickets available from eventbriteTicket URL changed:http://www.eventbrite.co.uk/e/idris-launchpad-tickets-13572976137?aff=es2&rank=1Start changed:Sat 22nd Nov 2014 9:30am (Europe/London)Edited at by henry