diff --git a/modules/lang/idris/doctor.el b/modules/lang/idris/doctor.el
new file mode 100644
index 000000000..882cebbc1
--- /dev/null
+++ b/modules/lang/idris/doctor.el
@@ -0,0 +1,5 @@
+;;; lang/idris/doctor.el -*- lexical-binding: t; -*-
+
+(when (require 'idris-mode nil t)
+  (unless (executable-find idris-interpreter-path)
+    (warn! "Cannot find the idris interpreter. Most features will not work.")))