From e107ccc9b3cbd70a4dbd2e596c7be0e063ddc5cf Mon Sep 17 00:00:00 2001
From: status failed <sf@statusfailed.com>
Date: Sun, 5 Jan 2014 18:40:52 +0000
Subject: [PATCH] added idris field to delimiterMap

---
 plugin/NERD_commenter.vim | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugin/NERD_commenter.vim b/plugin/NERD_commenter.vim
index 13c7693..bbf195c 100644
--- a/plugin/NERD_commenter.vim
+++ b/plugin/NERD_commenter.vim
@@ -198,6 +198,7 @@ let s:delimiterMap = {
     \ 'icon': { 'left': '#' },
     \ 'idlang': { 'left': ';' },
     \ 'idl': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },
+    \ 'idris': { 'leftAlt': '--', 'left': '{-', 'right': '-}' },
     \ 'inform': { 'left': '!' },
     \ 'inittab': { 'left': '#' },
     \ 'ishd': { 'left': '//', 'leftAlt': '/*', 'rightAlt': '*/' },