gitextract_9cxatkb6/

├── README.md
├── after/
│   ├── ftplugin/
│   │   └── idris.vim
│   └── syntax/
│       └── idris.vim
├── doc/
│   └── idris-vim.txt
├── ftdetect/
│   ├── idris.vim
│   └── lidris.vim
├── ftplugin/
│   └── idris.vim
├── indent/
│   └── idris.vim
├── syntax/
│   ├── idris.vim
│   └── lidris.vim
└── syntax_checkers/
    └── idris/
        └── idris.vim