Computation Club: Seven More Languages in Seven Weeks, Idris Days 1&2


location Geckoboard | 6:30 PM-8:30 PM Monday 17 September 2018 (GMT)

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.

Please join us on the mailing list, or Slack where we’ll share a copy of the chapter and can discuss the meeting beforehand.

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.)

Location

Geckoboard

3rd Floor,, 60 Worship St, London EC2A 2BN, UK

map Open in Google maps | Apple maps | Citymapper

Sign in to edit

Complete your event page

 
×
twitter
facebook
linkedin