Added idris support

2016-06-12 01:40:21 +02:00
parent 78af766e40
commit a803cd7850
5 changed files with 30 additions and 0 deletions
--- a/plugin/repl.vim
+++ b/plugin/repl.vim
@@ -32,6 +32,10 @@ let g:repl#default_filetype_repl = {
 \ 'clojure' : {
 \   'repl' : 'lein',
 \   'opt'  : 'repl'
+\ },
+\ 'idris' : {
+\   'repl' : 'idris',
+\   'opt'  : ''
 \ }
 \}