Add a new cube to support Idris

2023-07-21 10:45:46 +01:00 · 2023-07-21 10:45:46 +01:00 · 0d19827489
parent ac9d50256c
commit 0d19827489
1 changed files with 8 additions and 0 deletions
--- a/core/cubes/proof.el
+++ b/core/cubes/proof.el
@ -37,5 +37,13 @@
    :config (add-hook 'coq-mode-hook #'company-coq-mode)))


+(->cube idris-mode
+  "Add support for the Idris programming language to FG42.
+For more info checkout [[https://github.com/idris-hackers/idris-mode]]"
+  :config
+  (require 'flycheck-idris)
+  (add-hook 'idris-mode-hook #'flycheck-mode))
+
+
 (provide 'cubes/proof)
 ;;; proof.el ends here