Fixed some stuff

.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}
 

.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'
 

.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