Home

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! are issues that are acknowledged but are not priorities of the core developers at this time. If you're in doubt, please ask a question on IRC or the mailing list.

HELP!

• Official Idris tutorial
• Official Idris FAQ (maintained by Edwin Brady)
• Unofficial FAQ (maintained by anyone who wants to)
• You can post questions to the mailing list, and #idris on Freenode is generally fairly active.

Installation

• Mac OS X
• Ubuntu
• Windows