3 Commits

Author	SHA1	Message	Date
Jeetaditya Chatterjee	547860e847	docs(tree-sitter): add doctor checks for flag ... add in a check ala lsp, this has been applied to every module with tree sitter support	2022-05-22 21:26:00 +01:00
Rudi Grinberg	88fc054919	Use straight for agda ... We can fetch the mode directly from straight. There's no need to rely on having this .el file installed for us. Now agda's el files can be edited directly like all other emacs packages. Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>	2019-08-31 09:45:13 +07:00
Patrick Elliott	b3a83daf5f	Added basic agda support.	2018-08-21 12:46:29 +02:00