awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-09-28 16:51:08 -05:00
Code Issues Packages Projects Releases Wiki Activity

feat(idris): add flycheck support

Browse Source
This commit is contained in:
Henrik Lissner
2024-09-10 17:05:19 -04:00
parent 0ee89cbb5c
commit 75763ae786
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
modules/lang/idris/config.el
View File

@@ -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)