Add stuff

lua/configs/autocomplete.lua

@@ -83,6 +83,7 @@ function M.config()
     })
 
     require("luasnip.loaders.from_snipmate").lazy_load({paths = "~/.config/nvim/snippets/"})
+    luasnip.filetype_extend("all", { "_" })
 
     --- Set up LspSaga.
     require("lspsaga").setup {

lua/core/keymaps.lua

@@ -18,13 +18,14 @@ vim.api.nvim_create_autocmd("FileType", {
     end,
 })
 vim.keymap.set("i", "<C-g>", "<esc>")
-vim.keymap.set("i", "<M-n>", "<up>")
-vim.keymap.set("i", "<M-p>", "<down>")
-vim.keymap.set("i", "<M-f>", "<right>")
-vim.keymap.set("i", "<M-b>", "<left>")
+-- vim.keymap.set("i", "<M-n>", "<up>")
+-- vim.keymap.set("i", "<M-p>", "<down>")
+-- vim.keymap.set("i", "<M-f>", "<right>")
+-- vim.keymap.set("i", "<M-b>", "<left>")
 vim.keymap.set("n", "<leader>vl", set_bg_light)
 vim.keymap.set("n", "<leader>vd", set_bg_dark)
 vim.keymap.set("n", "<leader>", ":")
+vim.keymap.set("n", "<space>", "f<space>")
 
 local ls = require("luasnip")
 vim.keymap.set({"i"}, "<C-o>", function() ls.expand() end, {silent = true})

snippets/_.snippets

@@ -0,0 +1,215 @@
+# Parens
+snippet (
+	($1)
+snippet [
+	[$1]
+snippet {
+	{$1}
+
+# Blackboard bold big
+snippet ba
+	𝔸
+snippet bb
+	𝔹
+snippet bc
+	ℂ
+snippet bd
+	𝔻
+snippet be
+	𝔼
+snippet bf
+	𝔽
+snippet bg
+	𝔾
+snippet bh
+	ℍ
+snippet bi
+	𝕀
+snippet bj
+	𝕁
+snippet bk
+	𝕂
+snippet bl
+	𝕃
+snippet bm
+	𝕄
+snippet bn
+	ℕ
+snippet bo
+	𝕆
+snippet bp
+	ℙ
+snippet bq
+	ℚ
+snippet br
+	ℝ
+snippet bs
+	𝕊
+snippet bt
+	𝕋
+snippet bu
+	𝕌
+snippet bv
+	𝕍
+snippet bw
+	𝕎
+snippet bx
+	𝕏
+snippet by
+	𝕐
+snippet bz
+	ℤ
+
+# Blackboard bold small
+snippet bA
+	𝕒
+snippet bB
+	𝕓
+snippet bC
+	𝕔
+snippet bD
+	𝕕
+snippet bE
+	𝕖
+snippet bF
+	𝕗
+snippet bG
+	𝕘
+snippet bH
+	𝕙
+snippet bI
+	𝕚
+snippet bJ
+	𝕛
+snippet bK
+	𝕜
+snippet bL
+	𝕝
+snippet bM
+	𝕞
+snippet bN
+	𝕟
+snippet bO
+	𝕠
+snippet bP
+	𝕡
+snippet bQ
+	𝕢
+snippet bR
+	𝕣
+snippet bS
+	𝕤
+snippet bT
+	𝕥
+snippet bU
+	𝕦
+snippet bV
+	𝕧
+snippet bW
+	𝕨
+snippet bX
+	𝕩
+snippet bY
+	𝕪
+snippet bZ
+	𝕫
+
+# Greek letter small
+snippet ga
+	α
+snippet gb
+	β
+snippet gg
+	γ
+snippet gd
+	δ
+snippet ge
+	ε
+snippet gz
+	ζ
+snippet ge'
+	η
+snippet gth
+	θ
+snippet gi
+	ι
+snippet gk
+	κ
+snippet gl
+	λ
+snippet gm
+	μ
+snippet gu
+	ν
+snippet gx
+	ξ
+snippet go
+	ο
+snippet gp
+	π
+snippet gr
+	ρ
+snippet gs
+	σ
+snippet gt
+	τ
+snippet gy
+	υ
+snippet gf
+	φ
+snippet gc
+	χ
+snippet gps
+	ψ
+snippet go'
+	ω
+
+# Greek letter big
+snippet gA
+	Α
+snippet gB
+	Β
+snippet gG
+	Γ
+snippet gD
+	Δ
+snippet gE
+	Ε
+snippet gZ
+	Ζ
+snippet gE'
+	Η
+snippet gTH
+	Θ
+snippet gI
+	Ι
+snippet gK
+	Κ
+snippet gL
+	Λ
+snippet gM
+	Μ
+snippet gU
+	Ν
+snippet gX
+	Ξ
+snippet gO
+	Ο
+snippet gP
+	Π
+snippet gR
+	Ρ
+snippet gS
+	Σ
+snippet gT
+	Τ
+snippet gY
+	Υ
+snippet gF
+	Φ
+snippet gC
+	Χ
+snippet gPS
+	Ψ
+snippet gO'
+	Ω

snippets/agda.snippets

@@ -42,211 +42,3 @@ snippet top
 snippet bot
 	⊥
 
-# Blackboard bold big
-snippet ba
-	𝔸
-snippet bb
-	𝔹
-snippet bc
-	ℂ
-snippet bd
-	𝔻
-snippet be
-	𝔼
-snippet bf
-	𝔽
-snippet bg
-	𝔾
-snippet bh
-	ℍ
-snippet bi
-	𝕀
-snippet bj
-	𝕁
-snippet bk
-	𝕂
-snippet bl
-	𝕃
-snippet bm
-	𝕄
-snippet bn
-	ℕ
-snippet bo
-	𝕆
-snippet bp
-	ℙ
-snippet bq
-	ℚ
-snippet br
-	ℝ
-snippet bs
-	𝕊
-snippet bt
-	𝕋
-snippet bu
-	𝕌
-snippet bv
-	𝕍
-snippet bw
-	𝕎
-snippet bx
-	𝕏
-snippet by
-	𝕐
-snippet bz
-	ℤ
-
-# Blackboard bold small
-snippet bA
-	𝕒
-snippet bB
-	𝕓
-snippet bC
-	𝕔
-snippet bD
-	𝕕
-snippet bE
-	𝕖
-snippet bF
-	𝕗
-snippet bG
-	𝕘
-snippet bH
-	𝕙
-snippet bI
-	𝕚
-snippet bJ
-	𝕛
-snippet bK
-	𝕜
-snippet bL
-	𝕝
-snippet bM
-	𝕞
-snippet bN
-	𝕟
-snippet bO
-	𝕠
-snippet bP
-	𝕡
-snippet bQ
-	𝕢
-snippet bR
-	𝕣
-snippet bS
-	𝕤
-snippet bT
-	𝕥
-snippet bU
-	𝕦
-snippet bV
-	𝕧
-snippet bW
-	𝕨
-snippet bX
-	𝕩
-snippet bY
-	𝕪
-snippet bZ
-	𝕫
-
-# Greek letter small
-snippet ga
-	α
-snippet gb
-	β
-snippet gg
-	γ
-snippet gd
-	δ
-snippet ge
-	ε
-snippet gz
-	ζ
-snippet ge'
-	η
-snippet gth
-	θ
-snippet gi
-	ι
-snippet gk
-	κ
-snippet gl
-	λ
-snippet gm
-	μ
-snippet gu
-	ν
-snippet gx
-	ξ
-snippet go
-	ο
-snippet gp
-	π
-snippet gr
-	ρ
-snippet gs
-	σ
-snippet gt
-	τ
-snippet gy
-	υ
-snippet gf
-	φ
-snippet gc
-	χ
-snippet gps
-	ψ
-snippet go'
-	ω
-
-# Greek letter big
-snippet gA
-	Α
-snippet gB
-	Β
-snippet gG
-	Γ
-snippet gD
-	Δ
-snippet gE
-	Ε
-snippet gZ
-	Ζ
-snippet gE'
-	Η
-snippet gTH
-	Θ
-snippet gI
-	Ι
-snippet gK
-	Κ
-snippet gL
-	Λ
-snippet gM
-	Μ
-snippet gU
-	Ν
-snippet gX
-	Ξ
-snippet gO
-	Ο
-snippet gP
-	Π
-snippet gR
-	Ρ
-snippet gS
-	Σ
-snippet gT
-	Τ
-snippet gY
-	Υ
-snippet gF
-	Φ
-snippet gC
-	Χ
-snippet gPS
-	Ψ
-snippet gO'
-	Ω
-