Idris Developers Meeting, April May 2014

There will be an Idris Developers Meeting at Chalmers in Gothenburg, Sweden from Tuesday 29th April - Friday 2nd May 2014. The meeting is open to anyone who is interested in contributing to Idris, implementing libraries or applications in Idris, or just interested in watching progress.

Location

The meeting will take place in the D&IT building at Rännvägen 6 on the Jonhanneberg campus. Watch this space for specific details about room bookings.

Content

Tuesday, 29 April

Tutorials:

Introduction to dependent types and Idris for functional programmers - David Christiansen
Idris for Agda users - Andrea Vezzosi and David Christiansen
Idris in the browser - raichoo

Wednesday, 30 April

Evening: Walpurgis Night celebration in Gothenburg - go out and watch the festivities Swedish description

Thursday, 1 May

Friday, 2 May

Registration

Space will be fairly limited, so if you plan to attend, please send an email to David Christiansen stating:

Which days you will be attending
Whether you'd like to give a talk (please also add this to the list above)

Optionally, you can also add your name to the list below.

There is no fee for participation, but you will be responsible for your own food and lodging.

Attendees

David Christiansen
Andrea Vezzosi (Saizan)
Víctor López Juan
Baldur Blöndal
Jean-Louis Giordano
Tim Dysinger (hopeful)
Edwin Brady (not Tuesday)
Jan de Muijnck-Hughes
Cezar Ionescu
raichoo (Hopefully this time!)
Andreas Reuleaux
Daniel Öberg (Tuesday and Wednesday)
Ahmad Salim Al-Sibahi (Wednesday-Thursday)
Paul Koerbitz
Evgeny Kotelnikov
Carlo Hamalainen (Tuesday and perhaps Wednesday)
Patrik Jansson (Wednesday-Friday)
Nicola Botta
Andreas Abel
Thomas Didriksen (Wednesday, Thursday)
Sune Alkærsig (Wednesday, Thursday)
Niklas Larsson

Community Discussions

What is 1.0? (revisit from last meeting)
How can we get better documentation?
How can we de-bottleneck Edwin?
Release cadence for Idris and important related tooling and documentation.

Aims and Objectives

High level goals for the Hackathon.

New community led document that presents Idris in styles similar to that of both the Hutton and LYAH books.

Practicalities

If you don't have access to Eduroam, then we will need to create a guest account for you here at Chalmers so that you can access the wireless Internet. Please write to David if you need this.

Inexpensive places to stay that are close to Chalmers include: