Index of /haskell/app-emacs/idris-mode

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 06-May-2022 14:18 309 [DIR] files/ 06-May-2022 14:18 - [TXT] idris-mode-0.9.18.eb..> 06-May-2022 14:18 760 [   ] metadata.xml 31-Jul-2022 02:18 328