Snoooopy/dtos-dotfiles
1
0
Fork 0
mirror of https://gitlab.com/dwt1/dotfiles.git synced 2026-04-24 03:50:24 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
35112d3f8c4d3afa0e35a382a1aa980643910beb
dtos-dotfiles/.emacs.d/modules/lang/agda
History
Derek Taylor 35112d3f8c Minor edits.
2020-11-05 13:27:52 -06:00
..
config.el
Minor edits.
2020-11-05 13:27:52 -06:00
packages.el
Minor edits.
2020-11-05 13:27:52 -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