Add agda2-next-goal and agda2-previous-goal

Add support for commonly used movements (https://agda.readthedocs.io/en/v2.5.4.1/tools/emacs-mode.html)
mlloreda · Apr 22, 2019 · 4bcaa28 · 4bcaa28
1 parent db7a37d
commit 4bcaa28
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
@@ -19,9 +19,11 @@
         "="   #'agda2-show-constraints
         "SPC" #'agda2-give
         "a"   #'agda2-auto
+        "b"   #'agda2-previous-goal
         "c"   #'agda2-make-case
         "d"   #'agda2-infer-type-maybe-toplevel
         "e"   #'agda2-show-context
+        "f"   #'agda2-next-goal
         "gG"  #'agda2-go-back
         "h"   #'agda2-helper-function-type
         "l"   #'agda2-load