This is a learning project by a group of people interested in learning the Idris language, a functional programming language with dependent types.

The goal would be to have the bowling kata written in the Idris language by the time we go to BuildStuff 2015, probably November 2015.

If it works out, we can all feel like Jean-Claude:

People that want to join need to send a pull request for this readme and add themselves, their github account name and their timezone.

You can do this by editing the file here: https://github.com/ToJans/idris101/edit/master/README.md

• Andrew Jones - @andrewscj - UTC+0 (DST)
• Tom Janssens - @ToJans - UTC+1 (DST)
• Koen Metsu - @koenmetsu - UTC+1 (DST)
• Antonios Klimis - @antoniosklimis - UTC+2 (DST)
• [name] - [username] - [timezone + daylight saving time or not]

Please order this list by timezones.

Depending on the number of people interested in joining we might need to figure out how to properly co-op, but that's something we can figure out later. For now we'd first need to know how many people want to join us.

In case you'd want to get a feel of what we're trying to grasp, we've set up a preliminary page with some video tutorials on the wiki.

Note that it's ok if we don't grasp this yet; the idea would be to figure it out with this group over the course of a full year (so baby steps all the way).