We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
This seems to be a typo, but not sure
Updated Idris for Haskellers (markdown)
add more minor syntax differences between Idris and Haskell
Cleared up ambiguities.