Files
doomemacs/modules/lang
Tomasz Brengos dea6552ef9 fix(agda): agda2-auto-maybe-all -> agda2-mimer-maybe-all
Fixes the broken Agda auto mode in Doom Emacs caused by the
introduction of mimer in Agda 2.7.0.

* modules/lang/agda/config.el (agda-auto-mode):
replaced agsy with mimer for auto mode call.
2024-10-24 17:43:56 -04:00
..
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:32:16 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:42 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-09-14 20:47:39 -04:00
2024-10-20 02:41:50 -04:00
2024-09-14 20:47:39 -04:00
2024-08-09 21:21:26 -04:00

:lang

Description

These modules specialize in the integration of particular languages and their ecosystems into (Doom) Emacs.

Frequently asked questions

This category has no FAQs yet. Ask one?