[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]