Idris Developer Meeting May 2022

[andre....@gmail.com]

Dear Idris enthusiasts,

The next Idris developer meeting is scheduled for the 16th of May and will run until the 20th of May 2022. Just like the last 3 iterations of it, it will take place online on discord. You can find all the information relative to the event on the wiki. 

## What is the Idris Developer Meeting?

It's a 1-week long event for idris developers to join forces and collaborate on a project of their choosing, give presentations about their work and share their experiences. It's a good excuse to set some things aside and spend some uninterrupted time on a project idea you had. Use this opportunity to connect with other developers, schedule talks and organise pair-programming sessions using the scheduling tools and voice-chat rooms we have on discord.

## How to participate?

Head to the wiki it will contain all the information necessary. In a nutshell you will need:

- a computer

- a discord account

- a few days of free time between the 16th and the 20th

## Who can participate?

Everyone is welcome, especially beginners eager to learn new things. A lot of experienced people will be around so it's a good time to ask questions. Participants are also encouraged to give improvised presentations. If you do not have the opportunity to contribute you can still register and attend the talks and presentations given by the community.

Hope to see you then!

Idris Developer Meeting organisers