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

../
img/                                               28-Mar-2020 12:15                   -
README.org                                         28-Mar-2020 12:15                5694
config.el                                          28-Mar-2020 12:15                 369
packages.el                                        28-Mar-2020 12:15                4507