1
0
mirror of https://github.com/amix/vimrc synced 2025-06-16 01:25:00 +08:00

Updated plugins, also experimenting with a new font

The font is IBM Plex Mono: https://ibm.github.io/type/
This commit is contained in:
amix
2017-11-24 14:54:40 +01:00
parent 7fc202ec88
commit e9aac9794b
255 changed files with 2898 additions and 3752 deletions

View File

@ -31,8 +31,12 @@ snippet importq
snippet inst
instance ${1:Monoid} ${2:Type} where
${0}
snippet ty
type ${1:Type} = ${0:Type}
snippet type
type ${1:Type} = ${0:Type}
snippet da
data ${1:Type} = ${2:$1} ${0:Int}
snippet data
data ${1:Type} = ${2:$1} ${0:Int}
snippet newtype
@ -54,6 +58,12 @@ snippet const
snippet fn
${1:fn} :: ${2:a} -> ${3:a}
$1 ${4} = ${0:undefined}
snippet fn0
${1:fn} :: ${2:a}
$1 = ${0:undefined}
snippet fn1
${1:fn} :: ${2:a} -> ${3:a}
$1 ${4} = ${0:undefined}
snippet fn2
${1:fn} :: ${2:a} -> ${3:a} -> ${4:a}
$1 ${5} = ${0:undefined}
@ -130,3 +140,6 @@ snippet itp
$0
snippet sb
\`shouldBe\` $0
snippet doc
{-| ${0}
-}