[NonGNU ELPA] Idris-Mode version 0.9.18

[ELPA update]

Version 0.9.18 of package Idris-Mode has just been released in NonGNU ELPA.
You can now find it in M-x package-list RET.

Idris-Mode describes itself as:
  Major mode for editing Idris code

More at https://elpa.nongnu.org/nongnu/idris-mode.html