From f1eabbaa1b4ff1836d0ee8335b31d009203f3775 Mon Sep 17 00:00:00 2001
From: "Vito G. Graffagnino" <vito@graffagnino.xyz>
Date: Tue, 30 Aug 2022 16:06:22 +0100
Subject: fixed zathura integration with texlab using nvim-texlabconfig

---
 snippets/idris.snippets | 46 ----------------------------------------------
 1 file changed, 46 deletions(-)
 delete mode 100644 snippets/idris.snippets

(limited to 'snippets/idris.snippets')

diff --git a/snippets/idris.snippets b/snippets/idris.snippets
deleted file mode 100644
index abbedb6..0000000
--- a/snippets/idris.snippets
+++ /dev/null
@@ -1,46 +0,0 @@
-snippet mod
-	module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')`
-	${0}
-snippet imp
-	import ${0:List}
-snippet fn
-	${1:fn} : ${2:a} -> ${3:a}
-	$1 ${4} =
-		${0}
-snippet fn1
-	${1:fn} : ${2:a} -> ${3:a}
-	$1 ${4} =
-		${0}
-snippet fn2
-	${1:fn} : ${2:a} -> ${3:a} -> ${4:a}
-	$1 ${5} =
-		${0}
-snippet fn3
-	${1:fn} : ${2:a} -> ${3:a} -> ${4:a} -> ${5:a}
-	$1 ${6} =
-		${0}
-snippet fn0
-	${1:fn} : ${2:a}
-	$1 =
-		${0}
-snippet case
-	case ${1} of
-		${2} =>
-			${0}
-snippet let
-	let
-		${1} =
-			${2}
-	in
-		${0}
-snippet wh
-	where
-		${0}
-snippet if
-	if ${1} then
-		${2:${VISUAL}}
-	else
-		${0}
-	${0}
-snippet \ "Lambda function (\x => ...)"
-	(\\${1:_} => ${0})
-- 
cgit v1.2.3