Index of /projects/code/spacemacs/layers/+lang/agda/

../
README.org                                         28-Mar-2020 12:15                5783
config.el                                          28-Mar-2020 12:15                 640
packages.el                                        28-Mar-2020 12:15                3583