We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Added a cautionary note about the cask instructions.
Fix typo: "dependancies" -> "dependencies"
Small typo, note -> not.
Updated Idris on OS X (markdown)