-
Notifications
You must be signed in to change notification settings - Fork 644
Feature proposals
Ahmad Salim Al-Sibahi edited this page Feb 7, 2014
·
23 revisions
- Egg #1: Error Reflection: Better error handling for embedded DSLs
- Egg #2: Erasure annotations: Erase runtime-irrelevant terms
- Egg #3: Structured String Literals: Type-safe literals for structured data (XML, JSON, etc.)
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
- Non English Resources
Development