|
|
c23fe02869
|
Remove syntax highlighting
|
2018-09-21 14:52:42 +02:00 |
|
|
|
818df0afe4
|
More keybindings
|
2018-09-03 16:11:08 +02:00 |
|
|
|
57415658a0
|
More syntax highlighting
|
2018-09-03 16:00:40 +02:00 |
|
|
|
17f0b4c50e
|
Update syntax highlighting
|
2018-09-03 15:45:43 +02:00 |
|
|
|
82651f247e
|
Fix syntax highlighting
|
2018-09-03 13:54:49 +02:00 |
|
|
|
f6d6096bf2
|
load agda input method; bypass agda2; keybindings
|
2018-08-25 17:27:42 +02:00 |
|
|
|
f6dbc00bc4
|
Fix agda-mode executable typo
|
2018-08-22 03:53:19 +02:00 |
|
|
|
06262fef17
|
Lazy-load agda2; more robust +agda-dir resolution
|
2018-08-22 03:52:53 +02:00 |
|
|
|
b3a83daf5f
|
Added basic agda support.
|
2018-08-21 12:46:29 +02:00 |
|
