Snoooopy/dtos-dotfiles
1
0
Fork 0
mirror of https://gitlab.com/dwt1/dotfiles.git synced 2026-04-22 02:50:24 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
105b8d24d75c03e44cb2eebcfab3856bdacfb8da
dtos-dotfiles/.emacs.d/modules/lang/agda
History
Derek Taylor d4b4c33550 Moving to Doom Emacs!
2019-12-16 20:21:19 -06:00
..
config.el
Moving to Doom Emacs!
2019-12-16 20:21:19 -06:00
packages.el
Moving to Doom Emacs!
2019-12-16 20:21:19 -06: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