From 75763ae786bc314c9f7865526460c4c2a2f97123 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <git@henrik.io>
Date: Tue, 10 Sep 2024 17:05:19 -0400
Subject: [PATCH] feat(idris): add flycheck support

---
 modules/lang/idris/config.el | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index 8f8d3bc1b..a897155ef 100644
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@@ -19,3 +19,9 @@
         "m" #'idris-add-missing
         "p" #'idris-proof-search
         "h" #'idris-docs-at-point))
+
+
+(use-package! flycheck-idris
+  :when (modulep! :checkers syntax)
+  :when (not (modulep! :checkers syntax +flymake))
+  :after idris-mode)