• Distribution of Maintenance Work
• Pull requests
• idris-lang Web Updates
• Adding to Idris's prelude and default library
• Idris-dev's Contribs Folder
• Release Patterns
• How to handle Interest from Industry.
• Idris Hackers GitHub IO
• When Idris 1.0?
• Light Continuous Integration Testing.
• Resolve names of double and floats?
• IRC
• Abusive members
• Support Calls
• Communicating results of discussion
• Release Tagging of Supported Projects.
• Documentation
• Interactive Features
• Planet Idris
• Idris The Book
• Idris The Tutorial as Markdown
• Idris Screencasts
• Comparisons to Agda