• Package Management and Libraries
• Total Parser Library
• LLVM Code Generation
• Distribution of Idris and its Libraries
• Javascript Code Generation
• Library Documentation Generation
• Better concurrency support
• Polishing the Network Libraries
• Completing the Reference Documentation
• Working towards self-hosting
• Improving expression search
• Port the REPL to Idris
• More work on linear types
• Other suggestions
• Libraries
• Documentation & Examples
• Internals
• Developer Experience
• Bug Squashing
• Distribution
• Testing and Benchmarks