From cd6f5af3eadd6bf7b5a3a39cf6911916dd63a331 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 18 Jul 2014 08:41:58 +0200
Subject: [PATCH] add idris mode for vim

---
 vimrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vimrc b/vimrc
index 6ee0843..516b76c 100644
--- a/vimrc
+++ b/vimrc
@@ -53,6 +53,8 @@ NeoBundle 'othree/html5.vim'
 
 NeoBundle 'dogrover/vim-pentadactyl'
 
+NeoBundle 'idris-hackers/idris-vim'
+
 " vim-sleuth?
 
 call neobundle#end()