From f80b9bb8c5b9559ec985efd6154bed4e7905ab06 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <accounts@v0.io>
Date: Wed, 22 Aug 2018 03:33:12 +0200
Subject: [PATCH] Defer loading of idris-mode package

---
 modules/lang/idris/config.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index db01e19cb..3cf0b0594 100644
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@@ -1,7 +1,6 @@
 ;;; lang/idris/config.el -*- lexical-binding: t; -*-
 
-(def-package! idris-mode
-  :config
+(after! idris-mode
   (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent)
   (set-repl-handler! 'idris-mode 'idris-pop-to-repl)
   (map! :map idris-mode-map