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