We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
It has been a while since we cut a release of Idris Mode. We should do so soon.
Let us use this milestone thingy to track organization.