Idris Developers Meeting, March 2015

There will be an Idris Developers Meeting in St Andrews, Scotland, from Monday 16th-Friday 20th March 2015. 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

It will be hosted by the School of Computer Science at the University of St Andrews. (map)

• We will begin at 9:30am on Monday, meeting in the coffee area in the Jack Cole Building
• For those arriving on Sunday evening, we will meet at 8pm in Aikman's on Bell Street (map)

Content

Watch this space for updates as the week progresses. There will be:

• Talks (Please add to this list)
  • Idris Quasiquotation (David Christiansen)
  • ...
• Discussion (Please add to this list)
  • Documentation
    • Generation of new (and updated) tutorial materials.
    • Generation of a language specification.
    • Format and dissemination of documentation.
    • Library documentation.
      • Should the 'idrisdoc' for the libraries in libs be placed in a more accessible place?
      • Should documentation for libraries be generated in a single accessible place rather than a project's root?
  • Libraries
  • The 'Idris Package Manager'.
  • Externally hosted Idris Backends.
    • Can we find maintainers?
  • Branding
    • Should we outsource the creation of: logo's, marks, a mascot, and a colour scheme?
    • Does the website need a facelift?
  • ...
• Focussed hacking sessions (Please add to this list)
  • ...

Registration

Space will be fairly limited, so if you plan to attend, please send an email to Edwin Brady 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.

Attendees

• Edwin Brady
• David Christiansen
• Andreas Reuleaux

Practicalities

There is a hostel

Progress Log

(Please fill this in as the meeting progresses!)