5 commits

Author	SHA1	Message	Date
Henrik Lissner	acf6d5b78b	Bump to agda/agda@74d9fd5 ... From agda/agda@e9e23b9	2020-02-23 16:55:01 -05:00
Henrik Lissner	a9402cfb55	Fix #2373: bring back package pinning ... This needs some serious refactoring...	2020-01-25 19:02:00 -05:00
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