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

lang/agda: reformat map! call

Browse source 
To match other uses of map!
This commit is contained in:
Henrik Lissner 2019-09-07 12:22:35 -04:00
parent e1d1d148c1
commit 8d50280168
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395
1 changed files with 29 additions and 30 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1,32 +1,31 @@
;;; lang/agda/config.el -*- lexical-binding: t; -*- ;;; lang/agda/config.el -*- lexical-binding: t; -*-
(map! (map! :after agda2-mode
:after agda2-mode :map agda2-mode-map
:map agda2-mode-map :localleader
:localleader "?" #'agda2-show-goals
"?" #'agda2-show-goals "." #'agda2-goal-and-context-and-inferred
"." #'agda2-goal-and-context-and-inferred "," #'agda2-goal-and-context
"," #'agda2-goal-and-context "=" #'agda2-show-constraints
"=" #'agda2-show-constraints "SPC" #'agda2-give
"SPC" #'agda2-give "a" #'agda2-auto-maybe-all
"a" #'agda2-auto-maybe-all "b" #'agda2-previous-goal
"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
"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 "n" #'agda2-compute-normalised-maybe-toplevel
"n" #'agda2-compute-normalised-maybe-toplevel "p" #'agda2-module-contents-maybe-toplevel
"p" #'agda2-module-contents-maybe-toplevel "r" #'agda2-refine
"r" #'agda2-refine "s" #'agda2-solveAll
"s" #'agda2-solveAll "t" #'agda2-goal-type
"t" #'agda2-goal-type "w" #'agda2-why-in-scope-maybe-toplevel
"w" #'agda2-why-in-scope-maybe-toplevel (:prefix "x"
(:prefix "x" "c" #'agda2-compile
"c" #'agda2-compile "d" #'agda2-remove-annotations
"d" #'agda2-remove-annotations "h" #'agda2-display-implicit-arguments
"h" #'agda2-display-implicit-arguments "q" #'agda2-quit
"q" #'agda2-quit "r" #'agda2-restart))
"r" #'agda2-restart))