Home
Pages 43
- Home
- Challenge Problems
- Changes that Break Backwards Compatibility
- Conditional imports
- Copatterns
- Documentation Guidelines
- Editors
- Egg #1: Error Reflection
- Egg #2: Erasure annotations
- Egg #3: Structured String Literals
- Egg #4: Agda style records and modules
- Egg #5: Unicode Support
- Egg #6: Improved Support For Literate Programming
- Egg #7: The Idris Package Manager
- External Resources
- Feature proposals
- Google Summer of Code 2017 ideas & plans
- Idris back end IRs
- Idris Compilation Pipeline
- Idris Developer Meetings
- Idris Developers Meeting, April May 2014
- Idris Developers Meeting, March 2015
- Idris Developers Meeting, Nov 2013
- Idris for Haskellers
- Idris on Arch
- Idris on Debian
- Idris on Fedora
- Idris on FreeBSD
- Idris on Mac OS X
- Idris on NixOS
- Idris on Ubuntu
- Idris on Windows
- Idris Project Meta Discussion April May 2014
- Installation Instructions
- Installing an Idris Development version in a sandbox
- Issue Labelling System
- Libraries
- Linux Binary Packages
- Mini Projects
- Profiling
- The Zen of Idris
- Unofficial FAQ
- Windows Binaries
- Show 28 more pages…
Binary Packages
Tool Support
Community
- Libraries, available elsewhere
- Idris Developer Meetings
- The Zen of Idris
Development
- Mini Projects, for those interested in contributing
- Feature-proposals
- Profiling
- Issue Labelling System
Welcome to the Idris wiki!
Getting involved
Go ahead and start hacking! We're generally open to useful contributions.
If you'd like an easy place to get started, issues tagged low-hanging fruit in the issue tracker are those that we think will be fairly straightforward to implement, without requiring knowledge of the whole Idris system. Issues tagged patches welcome!, or FIXME/TODO are issues that are acknowledged, but are not priorities of the core developers at this time.
There are also several Mini Projects that, if completed, would help as well. If you're in doubt, please ask a question on IRC or the mailing list.
One of the best ways to get involved is writing documentation. That would be a highly valued contribution! The beginnings of a user manual exist, and contributing to this is a great way to learn the language and associated tools.
If you need to be added to the organization (so you can have bugs assigned to you and the like), contact David Christiansen (github, mail).
Documentation and support
The documentation, the official tutorial in particular, will hopefully get you quite far in using Idris, but it must be noted that there are still some important features on which the documentation is spotty. The mailing list and the Freenode channel are active and helpful, however, if you get stuck, and once you learn something that you did not find in the documentation, do consider contributing to the tutorial or to the language reference/manual!
- Official Idris tutorial
- Official Idris FAQ (maintained by Edwin Brady)
- Unofficial FAQ (maintained by anyone who wants to)
- Generated API docs
- You can post questions to the mailing list, and #idris on Freenode is generally fairly active.
- The still-incomplete unofficial manual aims at being the kind of documentation that you can look things up in.
- Idris for Haskellers
- There is a list of External Resources available, some made by us some by others. However, we cannot guarantee their accuracy or completeness.
Feature proposals
To see proposals and development for new features please view this page.
Installation
A list of installation instructions for Platform X can be found here.