gnu-emacs-sources
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[NonGNU ELPA] Idris-Mode version 0.9.18

From: ELPA update
Subject: [NonGNU ELPA] Idris-Mode version 0.9.18
Date: Sun, 29 Aug 2021 17:02:50 -0400 
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
reply via email to
[Prev in Thread] Current Thread [Next in Thread]