app-emacs/idris-mode
Major mode for editing Idris code
-
idris-mode-1.1.0~amd64 ~x86
View Download Browse License:Overlay: nongnu-elpa -
idris-mode-1.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
ChangeLog
commit 6be552614a4572d4c1ee0f588e2bc7a09f96a395
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Thu Jun 9 18:00:31 2022 +0200
Initial mirror of nongnu-elpa.
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Thu Jun 9 18:00:31 2022 +0200
Initial mirror of nongnu-elpa.