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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 19-Nov-2022 09:42 309 [DIR] files/ 19-Nov-2022 09:42 - [TXT] idris-mode-0.9.18.eb..> 07-May-2023 02:11 755 [   ] metadata.xml 19-Nov-2022 09:42 328