From 5c2d2f157935a86201117f19f0abdba256b89f68 Mon Sep 17 00:00:00 2001 From: afonsofrancof Date: Fri, 21 Oct 2022 17:16:38 +0100 Subject: [PATCH] Fixed some stuff --- .config/nvim/UltiSnips/tex.snippets | 109 +++++++++++++++++++++++- .config/nvim/lua/mappings.lua | 2 - .config/nvim/plugin/packer_compiled.lua | 32 +++---- 3 files changed, 123 insertions(+), 20 deletions(-) diff --git a/.config/nvim/UltiSnips/tex.snippets b/.config/nvim/UltiSnips/tex.snippets index e78a544..b100d1f 100644 --- a/.config/nvim/UltiSnips/tex.snippets +++ b/.config/nvim/UltiSnips/tex.snippets @@ -2,15 +2,120 @@ snippet templateHs "Start file with template" \documentclass{article} %imports - %include polycode.fmt +%format (cond (p) (f) (g)) = "\mcond{" p "}{" f "}{" g "}" +%format (div (x)(y)) = x "\div " y +%format succ = "\succ " +%format ==> = "\Longrightarrow " +%format map = "\map " +%format length = "\length " +%format fst = "\p1" +%format p1 = "\p1" +%format snd = "\p2" +%format p2 = "\p2" +%format Left = "i_1" +%format Right = "i_2" +%format i1 = "i_1" +%format i2 = "i_2" +%format >< = "\times" +%format >|< = "\bowtie " +%format |-> = "\mapsto" +%format . = "\comp " +%format .=?=. = "\mathbin{\stackrel{\mathrm{?}}{=}}" +%format (kcomp (f)(g)) = f "\kcomp " g +%format -|- = "+" +%format conc = "\mathsf{conc}" +%format summation = "{\sum}" +%format (either (a) (b)) = "\alt{" a "}{" b "}" +%format (frac (a) (b)) = "\frac{" a "}{" b "}" +%format (uncurry f) = "\uncurry{" f "}" +%format (const (f)) = "\underline{" f "}" +%format TLTree = "\mathsf{TLTree}" +%format (lcbr (x)(y)) = "\begin{lcbr}" x "\\" y "\end{lcbr}" +%format (split (x) (y)) = "\conj{" x "}{" y "}" +%format (for (f) (i)) = "\for{" f "}\ {" i "}" +%format B_tree = "\mathsf{B}\mbox{-}\mathsf{tree} " +\def\ana#1{\mathopen{[\!(}#1\mathclose{)\!]}} +%format <$> = "\mathbin{\mathopen{\langle}\$\mathclose{\rangle}}" +%format Either a b = a "+" b +%format fmap = "\mathsf{fmap}" +%format NA = "\textsc{na}" +%format NB = "\textsc{nb}" +%format inT = "\mathsf{in}" +%format outT = "\mathsf{out}" +%format outLTree = "\mathsf{out}" +%format inLTree = "\mathsf{in}" +%format inFTree = "\mathsf{in}" +%format outFTree = "\mathsf{out}" +%format Null = "1" +%format (Prod (a) (b)) = a >< b +%format fF = "\fun F " +%format k1 = "k_1 " +%format k2 = "k_2 " +%format h1 = "h_1 " +%format h2 = "h_2 " +%format f1 = "f_1 " +%format f2 = "f_2 " +%format l1 = "l_1 " +%format map1 = "map_1 " +%format map2 = "map_2 " +%format map3 = "map_3" +%format l2 = "l_2 " +%format Dist = "\fun{Dist}" +%format IO = "\fun{IO}" +%format LTree = "{\LTree}" +%format FTree = "{\FTree}" +%format inNat = "\mathsf{in}" +%format (cata (f)) = "\cata{" f "}" +%format (cataNat (g)) = "\cataNat{" g "}" +%format (cataList (g)) = "\cataList{" g "}" +%format (anaList (g)) = "\anaList{" g "}" +%format Nat0 = "\N_0" +%format Rational = "\Q " +%format toRational = " to_\Q " +%format fromRational = " from_\Q " +%format muB = "\mu " +%format (frac (n)(m)) = "\frac{" n "}{" m "}" +%format (fac (n)) = "{" n "!}" +%format (underbrace (t) (p)) = "\underbrace{" t "}_{" p "}" +%format matrix = "matrix" +%%format (bin (n) (k)) = "\Big(\vcenter{\xymatrix@R=1pt{" n "\\" k "}}\Big)" +%format `ominus` = "\mathbin{\ominus}" +%format % = "\mathbin{/}" +%format <-> = "{\,\leftrightarrow\,}" +%format <|> = "{\,\updownarrow\,}" +%format `minusNat`= "\mathbin{-}" +%format ==> = "\Rightarrow" +%format .==>. = "\Rightarrow" +%format .<==>. = "\Leftrightarrow" +%format .==. = "\equiv" +%format .<=. = "\leq" +%format .&&&. = "\wedge" +%format cdots = "\cdots " +%format pi = "\pi " +%format (curry (f)) = "\overline{" f "}" +%format (cataLTree (x)) = "\llparenthesis\, " x "\,\rrparenthesis" +%format (cataFTree (x)) = "\llparenthesis\, " x "\,\rrparenthesis" +%format (anaLTree (x)) = "\mathopen{[\!(}" x "\mathclose{)\!]}" +%format delta = "\Delta " +%format (plus (f)(g)) = "{" f "}\plus{" g "}" +%format ++ = "\mathbin{+\!\!\!+}" +%format Integer = "\mathbb{Z}" +\def\plus{\mathbin{\dagger}} \usepackage[all]{xy} \usepackage{mathtools} +\usepackage[a4paper,left=3cm,right=2cm,top=2.5cm,bottom=2.5cm]{geometry} +\usepackage{palatino} +\usepackage[colorlinks=true,linkcolor=blue,citecolor=blue]{hyperref} \usepackage{graphicx} +\usepackage{cp2122t} +\usepackage{subcaption} +\usepackage{adjustbox} +\usepackage{color} + \title{\Huge{Some Class}} \author{\huge{Afonso Franco}} -\date{} \begin{document} diff --git a/.config/nvim/lua/mappings.lua b/.config/nvim/lua/mappings.lua index dfd8f15..5dc8d48 100644 --- a/.config/nvim/lua/mappings.lua +++ b/.config/nvim/lua/mappings.lua @@ -2,6 +2,4 @@ vim.wo.number=true vim.wo.relativenumber= true ---vimtex -vim.g.vimtex_compiler_latexmk['build_dir']='./build' diff --git a/.config/nvim/plugin/packer_compiled.lua b/.config/nvim/plugin/packer_compiled.lua index c2a2648..f07356f 100644 --- a/.config/nvim/plugin/packer_compiled.lua +++ b/.config/nvim/plugin/packer_compiled.lua @@ -157,10 +157,10 @@ _G.packer_plugins = { } time([[Defining packer_plugins]], false) --- Config for: nvim-lspconfig -time([[Config for nvim-lspconfig]], true) -try_loadstring("\27LJ\2\n1\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\22plugins.lspconfig\frequire\0", "config", "nvim-lspconfig") -time([[Config for nvim-lspconfig]], false) +-- Config for: mason.nvim +time([[Config for mason.nvim]], true) +try_loadstring("\27LJ\2\n-\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\18plugins.mason\frequire\0", "config", "mason.nvim") +time([[Config for mason.nvim]], false) -- Config for: coc.nvim time([[Config for coc.nvim]], true) try_loadstring("\27LJ\2\n0\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\21plugins.nvim-coc\frequire\0", "config", "coc.nvim") @@ -169,18 +169,18 @@ time([[Config for coc.nvim]], false) time([[Config for packer.nvim]], true) require("plugins.packer") time([[Config for packer.nvim]], false) --- Config for: mason.nvim -time([[Config for mason.nvim]], true) -try_loadstring("\27LJ\2\n-\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\18plugins.mason\frequire\0", "config", "mason.nvim") -time([[Config for mason.nvim]], false) +-- Config for: nvim-lspconfig +time([[Config for nvim-lspconfig]], true) +try_loadstring("\27LJ\2\n1\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\22plugins.lspconfig\frequire\0", "config", "nvim-lspconfig") +time([[Config for nvim-lspconfig]], false) -- Config for: nvim-treesitter time([[Config for nvim-treesitter]], true) try_loadstring("\27LJ\2\n2\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\23plugins.treesitter\frequire\0", "config", "nvim-treesitter") time([[Config for nvim-treesitter]], false) --- Config for: leap.nvim -time([[Config for leap.nvim]], true) -try_loadstring("\27LJ\2\nA\0\0\3\0\3\0\0066\0\0\0'\2\1\0B\0\2\0029\0\2\0B\0\1\1K\0\1\0\25add_default_mappings\tleap\frequire\0", "config", "leap.nvim") -time([[Config for leap.nvim]], false) +-- Config for: vimtex +time([[Config for vimtex]], true) +try_loadstring("\27LJ\2\n.\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\19plugins.vimtex\frequire\0", "config", "vimtex") +time([[Config for vimtex]], false) -- Config for: nvim-autopairs time([[Config for nvim-autopairs]], true) try_loadstring("\27LJ\2\n@\0\0\3\0\3\0\a6\0\0\0'\2\1\0B\0\2\0029\0\2\0004\2\0\0B\0\2\1K\0\1\0\nsetup\19nvim-autopairs\frequire\0", "config", "nvim-autopairs") @@ -189,14 +189,14 @@ time([[Config for nvim-autopairs]], false) time([[Config for nvim-tree.lua]], true) try_loadstring("\27LJ\2\n7\0\0\3\0\3\0\0066\0\0\0'\2\1\0B\0\2\0029\0\2\0B\0\1\1K\0\1\0\nsetup\14nvim-tree\frequire\0", "config", "nvim-tree.lua") time([[Config for nvim-tree.lua]], false) +-- Config for: leap.nvim +time([[Config for leap.nvim]], true) +try_loadstring("\27LJ\2\nA\0\0\3\0\3\0\0066\0\0\0'\2\1\0B\0\2\0029\0\2\0B\0\1\1K\0\1\0\25add_default_mappings\tleap\frequire\0", "config", "leap.nvim") +time([[Config for leap.nvim]], false) -- Config for: bufferline.nvim time([[Config for bufferline.nvim]], true) try_loadstring("\27LJ\2\n<\0\0\3\0\3\0\a6\0\0\0'\2\1\0B\0\2\0029\0\2\0004\2\0\0B\0\2\1K\0\1\0\nsetup\15bufferline\frequire\0", "config", "bufferline.nvim") time([[Config for bufferline.nvim]], false) --- Config for: vimtex -time([[Config for vimtex]], true) -try_loadstring("\27LJ\2\n.\0\0\3\0\2\0\0046\0\0\0'\2\1\0B\0\2\1K\0\1\0\19plugins.vimtex\frequire\0", "config", "vimtex") -time([[Config for vimtex]], false) _G._packer.inside_compile = false if _G._packer.needs_bufread == true then