[Agda] ANNOUNCE: Idris developers' meeting in Gothenburg, April 29-May 2, 2014

[David Christiansen]

Idris is a fairly new dependently-typed functional programming language
that aims at being a tool for writing practical programs. It is a close
cousin of Agda.

An Idris Developers' Meeting will be held, from Tuesday, April 29 to
Friday, May 2, 2014, graciously hosted by Chalmers University of
Technology in Gothenburg, Sweden.

There is a Wiki page for coordinating participation and events:

https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April-May-2014

The current plan is to spend Tuesday the 29th on introductions to
Idris in general, and possibly to dependent types, in an attempt to
get as many local people as possible up to speed on the project.
Wednesday-Friday will primarily consist of focused hacking sessions
and talks, interrupted by the local Walpurgis Night festivities on
Wednesday evening.

If you are interested in attending, please send a mail to David
Christiansen (drc at itu.dk) with which days you will attend, whether it's
OK for your name to appear on the public participant list, and whether
you will need access to Internet.

Participation is at no cost, but no food or rooms are provided.

As room booking can be a bit tight, registrations are appreciated as
soon as possible, but 13 April at the latest.