Feature proposals

Proposals

• Egg #1: Error Reflection: Better error handling for embedded DSLs [Hatched]
• Egg #2: Erasure annotations: Erase runtime-irrelevant terms [Hatched]
• Egg #3: Structured String Literals: Type-safe literals for structured data (XML, JSON, etc.) [Hiatus]
• Egg #4: Agda style records and modules: Records with fields and constructors, and parameterised modules. [Hatched (Partially)]
  • Agda-style records have been implemented, but no module system
• Egg #5: Unicode Support: Make Idris strings support unicode [Ongoing]
• Egg #6: Improved Support For Literate Programming [Proposed]
• Egg #7: The Idris Package Manager [Proposed]

Status type descriptions

Type	Description
Initial	There is no complete description yet
Proposed	There is a description available, but no implementation effort has begun
Ongoing	Implementation is under development
Finished	Implementation is ready and is under code review
Hatched	Implementation is ready and merged
Hiatus	The implementation effort is on hold or there is no current plan for implementation
Rejected	The proposed feature is not seen as compatible with existing design goals