We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Fix "Low Hanging Fruit" link
Updated links moved external resouces to external resources
A dedicated wiki page exists for listing instructions.
add freebsd installation link
added mention of new label.
add Fedora installation
Fix link
Add API docs link
Add a link to a repo to easily build Idris using Vagrant and Ansible.
Added reference to mini-projects
Added feature proposals
Improved wiki start page
Initial Commit