From 0d198274896caa9fc00cd41c16a334d9c307d6d5 Mon Sep 17 00:00:00 2001 From: Sameer Rahmani Date: Fri, 21 Jul 2023 10:45:46 +0100 Subject: [PATCH] Add a new cube to support Idris --- core/cubes/proof.el | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/core/cubes/proof.el b/core/cubes/proof.el index 555c60d..1ca110f 100644 --- 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