From 4bcaa2868111493f5c4bd448de826c7629710fd8 Mon Sep 17 00:00:00 2001
From: Nicolas Wu <nicolas.wu@gmail.com>
Date: Tue, 23 Apr 2019 00:13:54 +0100
Subject: [PATCH] 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)
---
 modules/lang/agda/config.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index 0ad69349d..bfd443c90 100644
--- 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