Snoooopy/dtos-dotfiles
1
0
Fork 0
mirror of https://gitlab.com/dwt1/dotfiles.git synced 2026-04-21 18:40:26 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
aab54b0dbfd8a5122ee94b61fa2ff9500857b4ee
dtos-dotfiles/.emacs.d/modules/lang/agda
History
Derek Taylor a5c86c514a Updating Doom Emacs.
2020-06-19 22:43:40 -05:00
..
config.el
Updating Doom Emacs.
2020-06-19 22:43:40 -05:00
packages.el
Updating Doom Emacs.
2020-06-19 22:43:40 -05:00
README.org
Moving to Doom Emacs!
2019-12-16 20:21:19 -06:00

README.org

:lang agda

This module adds support for the agda programming language. The Emacs support exists directly in the agda repository but not in melpa.

Reference in New Issue View Git Blame Copy Permalink