3 commits

Author	SHA1	Message	Date
Henrik Lissner	4cc14389e8	PIN ALL THE PACKAGES	2020-01-14 22:32:11 -05:00
Henrik Lissner	f95ab47239	lang/agda: add +local flag & :nonrecursive to recipes ... Relevant to #2203	2019-12-17 15:28:34 -05: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