Henrik Lissner
a9402cfb55
Fix #2373 : bring back package pinning
...
This needs some serious refactoring...
2020-01-25 19:02:00 -05:00
Henrik Lissner
4cc14389e8
PIN ALL THE PACKAGES
2020-01-14 22:32:11 -05:00
Henrik Lissner
c483a7f7bd
lang/agda: load agda2 if +local #2203
2019-12-18 10:12:41 -05:00
Henrik Lissner
f95ab47239
lang/agda: add +local flag & :nonrecursive to recipes
...
Relevant to #2203
2019-12-17 15:28:34 -05:00
Henrik Lissner
8d50280168
lang/agda: reformat map! call
...
To match other uses of map!
2019-09-07 19:57:58 -04:00
Rudi Grinberg
cd1783ed8e
Fix wiki for agda
...
we no longer use agda-mode locate
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-09-06 12:39:25 +09:00
Rudi Grinberg
88fc054919
Use straight for agda
...
We can fetch the mode directly from straight. There's no need to rely on
having this .el file installed for us. Now agda's el files can be edited
directly like all other emacs packages.
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-08-31 09:45:13 +07:00
Rudi Grinberg
d29431d10f
Fix keybinding for agda's auto
...
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
2019-08-27 14:12:05 +07:00
Henrik Lissner
76cacb5bfe
💥 Rename def-package! -> use-package!
...
Calling this pivotal macro "def-package!" has frequently been a source
of confusion. It is a thin wrapper around use-package, and it should be
obvious that it is so. For this reason, and to match the naming
convention used with other convenience macros/wrappers, it is now
use-package!.
Also changes def-package-hook! -> use-package-hook!
The old macros are now marked obsolete and will be removed when straight
integration is merged.
2019-07-23 12:50:45 +02:00
Nicolas Wu
4bcaa28681
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 )
2019-04-23 00:13:54 +01:00
Henrik Lissner
3f195614d9
Normalize :leader/:localleader keybinds
...
Evil states no longer apply to them. Also removes x-alt-keysym.
2018-12-23 23:54:27 -05:00
Patrick Elliott
c23fe02869
Remove syntax highlighting
2018-09-21 14:52:42 +02:00
Patrick Elliott
818df0afe4
More keybindings
2018-09-03 16:11:08 +02:00
Patrick Elliott
57415658a0
More syntax highlighting
2018-09-03 16:00:40 +02:00
Patrick Elliott
17f0b4c50e
Update syntax highlighting
2018-09-03 15:45:43 +02:00
Patrick Elliott
82651f247e
Fix syntax highlighting
2018-09-03 13:54:49 +02:00
Patrick Elliott
f6d6096bf2
load agda input method; bypass agda2; keybindings
2018-08-25 17:27:42 +02:00
Henrik Lissner
f6dbc00bc4
Fix agda-mode executable typo
2018-08-22 03:53:19 +02:00
Henrik Lissner
06262fef17
Lazy-load agda2; more robust +agda-dir resolution
2018-08-22 03:52:53 +02:00
Patrick Elliott
b3a83daf5f
Added basic agda support.
2018-08-21 12:46:29 +02:00
