This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Risto Stevcev a803cd7850 Added idris support

2016-06-12 01:40:21 +02:00

..

.themisrc

Create .travis.yml

2015-12-26 09:54:43 +09:00

repl_vim.vim

Added idris support

2016-06-12 01:40:21 +02:00

variable.vim

Improve variable.vim

2015-12-25 20:15:33 +09:00