Merge pull request #3991 from bottomtype/agda-lookup-handler

Add lookup handler to Agda module

modules/lang/agda/config.el

@@ -7,9 +7,10 @@
   (unless (require 'agda2 nil t)
     (message "Failed to find the `agda2' package")))
 
-
-(map! :after agda2-mode
-      :map agda2-mode-map
+(after! agda2-mode
+  (set-lookup-handlers! 'agda2-mode
+    :definition #'agda2-goto-definition-keyboard)
+  (map! :map agda2-mode-map
         :localleader
         "?"   #'agda2-show-goals
         "."   #'agda2-goal-and-context-and-inferred
@@ -36,4 +37,4 @@
           "d"   #'agda2-remove-annotations
           "h"   #'agda2-display-implicit-arguments
           "q"   #'agda2-quit
-        "r"   #'agda2-restart))
+          "r"   #'agda2-restart)))