For this meeting we’re reading the first two days of the Idris section of the book to get a feel for the syntax and a basic handle on dependent types.
The meeting will start at 6:30pm at Geckoboard’s office on the 3rd floor of 60 Worship St, near Liverpool Street, Old Street, Moorgate and Shoreditch High Street stations.
The Geckoboard office is above HelloFresh’s: to get in, go around to the side entrance on Vandy St (hopefully there’ll be a sign directing you) and somebody on reception should be able to send you up to the 3rd floor in the lift (just mention Geckoboard).
If you have any trouble getting in, drop a message in #general on our Slack team and we’ll respond as soon as possible.
We’re onto a new language so no need to catch up on the last meeting - we post write-ups on our wiki if you’re interested in the sorts of things we get up to. (write up of the last meeting.)
3rd Floor,, 60 Worship St, London EC2A 2BN, UK
An event page by Charlie Egan
Made with love in London
We ask for your email address so that we and the attendees have a way of contacting you.