From f9137b40e73ab9054d5500da2759d45e48dc4aa9 Mon Sep 17 00:00:00 2001
From: ncihnegn <ncihnegn@users.noreply.github.com>
Date: Sat, 27 Jan 2024 00:16:06 -0800
Subject: [PATCH] docs(idris): add doctor.el

---
 modules/lang/idris/doctor.el | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 modules/lang/idris/doctor.el

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.")))