- The official homepage and documentation
- The Github repository containing compiler and libraries.
- The wiki
- The mailing list
- The IRC channel
Help us explain this better! File a GitHub issue at https://github.com/exercism/idris/issues if you have suggestions, or submit a patch with improvements to the https://github.com/exercism/idris/blob/master/docs/RESOURCES.md file.