diff options
| author | Vito G. Graffagnino <vito@graffagnino.xyz> | 2022-08-30 16:06:22 +0100 |
|---|---|---|
| committer | Vito G. Graffagnino <vito@graffagnino.xyz> | 2022-08-30 16:06:22 +0100 |
| commit | f1eabbaa1b4ff1836d0ee8335b31d009203f3775 (patch) | |
| tree | bbe77eacaef8ab8a5999e517c3006973c9e3e44c /snippets/idris.snippets | |
| parent | 823302458ec6c53455a3f34674415c43ce6a3187 (diff) | |
fixed zathura integration with texlab using nvim-texlabconfig
Diffstat (limited to 'snippets/idris.snippets')
| -rw-r--r-- | snippets/idris.snippets | 46 |
1 files changed, 0 insertions, 46 deletions
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}) |