emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/agda
History
Jeetaditya Chatterjee 0c2f986708
feat(:lang): enable ts text objs in modes
2022-05-22 21:26:03 +01:00
..
config.el feat(:lang): enable ts text objs in modes 2022-05-22 21:26:03 +01:00
doctor.el docs(tree-sitter): add doctor checks for flag 2022-05-22 21:26:00 +01:00
packages.el bump: :lang 2022-03-31 21:09:38 +02:00
README.org Fix wiki for agda 2019-09-06 12:39:25 +09: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.