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)