diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el
index 3cf0b0594..2f5b5b8cb 100644
--- a/modules/lang/idris/config.el
+++ b/modules/lang/idris/config.el
@@ -3,6 +3,9 @@
 (after! idris-mode
   (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent)
   (set-repl-handler! 'idris-mode 'idris-pop-to-repl)
+  (set-lookup-handlers! 'idris-mode
+    :documentation #'idris-docs-at-point
+    :file #'idris-load-file)
   (map! :map idris-mode-map
         :localleader
         :n "r" #'idris-load-file