chore: New nvim config, not finished

This commit is contained in:
2022-10-19 00:47:07 +01:00
parent f24ba39def
commit 88639a2280
14 changed files with 194 additions and 49 deletions

View File

@@ -0,0 +1,23 @@
{
"Create Split": {
"prefix": ["split"],
"body": [
"\\langle $1 \\rangle$0"
],
"description": "Create a Split"
},
"Use CP Rule": {
"prefix": ["rule"],
"body": [
"\\equiv \\{\\text{Propriedade ${1:Numero_da_propriedade}}\\\\}\\\\\\\\$0"
],
"description": "Create a Split"
},
"Use conditional": {
"prefix": ["cond"],
"body": [
"${1:p} \\implies ${2:f},${3:g}$0"
],
"description": "Create an implication"
}
}