Snoooopy/dtos-dotfiles
1
0
Fork 0
mirror of https://gitlab.com/dwt1/dotfiles.git synced 2026-04-23 11:30:23 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
367af056232f009e96ef951027e1d077833477b5
dtos-dotfiles/.emacs.d/modules/lang/agda
History
Derek Taylor 367af05623 Minor updates.
2020-08-11 17:27:59 -05:00
..
config.el
Updating Doom Emacs.
2020-06-19 22:43:40 -05:00
packages.el
Minor updates.
2020-08-11 17:27:59 -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