From 5d7b61d0c249e149252fc2eab580ad6e0fc0a7c2 Mon Sep 17 00:00:00 2001
From: Alexander Bantyev <balsoft@balsoft.ru>
Date: Fri, 25 Dec 2020 20:13:04 +0300
Subject: [PATCH] Add idris-mode

---
 modules/applications/emacs/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/applications/emacs/default.nix b/modules/applications/emacs/default.nix
index dbd2c2a..76eae81 100644
--- a/modules/applications/emacs/default.nix
+++ b/modules/applications/emacs/default.nix
@@ -48,6 +48,7 @@
           rust-mode
           go-mode
           edit-indirect
+          idris-mode
           lsp-mode
         ];
     };