clean up alacritty and nvim
This commit is contained in:
parent
433c56f166
commit
796b11619e
2 changed files with 0 additions and 229 deletions
|
@ -1,80 +0,0 @@
|
||||||
colors:
|
|
||||||
# Default colors
|
|
||||||
primary:
|
|
||||||
background: "#303446" # base
|
|
||||||
foreground: "#C6D0F5" # text
|
|
||||||
# Bright and dim foreground colors
|
|
||||||
dim_foreground: "#C6D0F5" # text
|
|
||||||
bright_foreground: "#C6D0F5" # text
|
|
||||||
|
|
||||||
# Cursor colors
|
|
||||||
cursor:
|
|
||||||
text: "#303446" # base
|
|
||||||
cursor: "#F2D5CF" # rosewater
|
|
||||||
vi_mode_cursor:
|
|
||||||
text: "#303446" # base
|
|
||||||
cursor: "#BABBF1" # lavender
|
|
||||||
|
|
||||||
# Search colors
|
|
||||||
search:
|
|
||||||
matches:
|
|
||||||
foreground: "#303446" # base
|
|
||||||
background: "#A5ADCE" # subtext0
|
|
||||||
focused_match:
|
|
||||||
foreground: "#303446" # base
|
|
||||||
background: "#A6D189" # green
|
|
||||||
footer_bar:
|
|
||||||
foreground: "#303446" # base
|
|
||||||
background: "#A5ADCE" # subtext0
|
|
||||||
|
|
||||||
# Keyboard regex hints
|
|
||||||
hints:
|
|
||||||
start:
|
|
||||||
foreground: "#303446" # base
|
|
||||||
background: "#E5C890" # yellow
|
|
||||||
end:
|
|
||||||
foreground: "#303446" # base
|
|
||||||
background: "#A5ADCE" # subtext0
|
|
||||||
|
|
||||||
# Selection colors
|
|
||||||
selection:
|
|
||||||
text: "#303446" # base
|
|
||||||
background: "#F2D5CF" # rosewater
|
|
||||||
|
|
||||||
# Normal colors
|
|
||||||
normal:
|
|
||||||
black: "#51576D" # surface1
|
|
||||||
red: "#E78284" # red
|
|
||||||
green: "#A6D189" # green
|
|
||||||
yellow: "#E5C890" # yellow
|
|
||||||
blue: "#8CAAEE" # blue
|
|
||||||
magenta: "#F4B8E4" # pink
|
|
||||||
cyan: "#81C8BE" # teal
|
|
||||||
white: "#B5BFE2" # subtext1
|
|
||||||
|
|
||||||
# Bright colors
|
|
||||||
bright:
|
|
||||||
black: "#626880" # surface2
|
|
||||||
red: "#E78284" # red
|
|
||||||
green: "#A6D189" # green
|
|
||||||
yellow: "#E5C890" # yellow
|
|
||||||
blue: "#8CAAEE" # blue
|
|
||||||
magenta: "#F4B8E4" # pink
|
|
||||||
cyan: "#81C8BE" # teal
|
|
||||||
white: "#A5ADCE" # subtext0
|
|
||||||
|
|
||||||
# Dim colors
|
|
||||||
dim:
|
|
||||||
black: "#51576D" # surface1
|
|
||||||
red: "#E78284" # red
|
|
||||||
green: "#A6D189" # green
|
|
||||||
yellow: "#E5C890" # yellow
|
|
||||||
blue: "#8CAAEE" # blue
|
|
||||||
magenta: "#F4B8E4" # pink
|
|
||||||
cyan: "#81C8BE" # teal
|
|
||||||
white: "#B5BFE2" # subtext1
|
|
||||||
|
|
||||||
indexed_colors:
|
|
||||||
- { index: 16, color: "#EF9F76" }
|
|
||||||
- { index: 17, color: "#F2D5CF" }
|
|
||||||
|
|
|
@ -1,149 +0,0 @@
|
||||||
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}}
|
|
||||||
|
|
||||||
\begin{document}
|
|
||||||
|
|
||||||
\maketitle
|
|
||||||
\newpage
|
|
||||||
|
|
||||||
\tableofcontents
|
|
||||||
\pagebreak
|
|
||||||
|
|
||||||
$1
|
|
||||||
|
|
||||||
\end{document}
|
|
||||||
endsnippet
|
|
||||||
|
|
||||||
snippet rule "Add CP rule"
|
|
||||||
\equiv \\{\text{Propriedade ${1:Nome/Numero}}\\}\\\\
|
|
||||||
endsnippet
|
|
||||||
|
|
||||||
snippet split "Add CP split"
|
|
||||||
\langle $1 \rangle
|
|
||||||
endsnippet
|
|
||||||
|
|
||||||
snippet diagram "Create diagram template"
|
|
||||||
\xymatrix{
|
|
||||||
$1
|
|
||||||
}
|
|
||||||
endsnippet
|
|
||||||
|
|
||||||
snippet arrow "Create arrow in diagram"
|
|
||||||
\ar[${1:direction}]^{${2:functions}}
|
|
||||||
endsnippet
|
|
Loading…
Reference in a new issue