emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

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

Browse source 
Add support for commonly used movements (https://agda.readthedocs.io/en/v2.5.4.1/tools/emacs-mode.html)
This commit is contained in:
Nicolas Wu 2019-04-23 00:13:54 +01:00 • committed by GitHub
parent db7a37d888
commit 4bcaa28681
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
modules/lang/agda/config.el
View file

@ -19,9 +19,11 @@
"=" #'agda2-show-constraints "=" #'agda2-show-constraints
"SPC" #'agda2-give "SPC" #'agda2-give
"a" #'agda2-auto "a" #'agda2-auto
"b" #'agda2-previous-goal
"c" #'agda2-make-case "c" #'agda2-make-case
"d" #'agda2-infer-type-maybe-toplevel "d" #'agda2-infer-type-maybe-toplevel
"e" #'agda2-show-context "e" #'agda2-show-context
"f" #'agda2-next-goal
"gG" #'agda2-go-back "gG" #'agda2-go-back
"h" #'agda2-helper-function-type "h" #'agda2-helper-function-type
"l" #'agda2-load "l" #'agda2-load