We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Rewrite naming guidelines for easier skimming.
Updated The Zen of Idris (markdown)
Added naming conventions for special functions
updated naming conventions
Added guideline for effects.
Added more headlines
clarifed camel case meaning
Added some more guidelines
Added a zen of iris page.