-
Notifications
You must be signed in to change notification settings - Fork 2
/
topmatter.tex
49 lines (36 loc) · 1.66 KB
/
topmatter.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Top matter
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{mimosis}
\input{packages.tex}
\input{pl-theory.tex}
\input{Gen/handwritten-rules.tex}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% lhs2TeX stuff
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%include rae.fmt
\newcommand{\keyword}[1]{\textcolor{BlueViolet}{\textbf{#1}}}
\newcommand{\id}[1]{\textsf{\textsl{#1}}}
\newcommand{\varid}[1]{\textcolor{Sepia}{\id{#1}}}
\newcommand{\conid}[1]{\textcolor{OliveGreen}{\id{#1}}}
\newcommand{\tick}{\text{\textquoteright}}
\newcommand{\package}[1]{\textsf{#1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% System Names
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\gpc}{\textsf{GPC}\xspace}
\newcommand{\pbc}{$\lambda\mathsf{B}$\xspace}
\newcommand{\mode}{application\xspace}
\newcommand{\Mode}{Application\xspace}
\newcommand{\ap}{AP\xspace}
\newcommand{\obb}{$\mathbf{FOb}^{?}_{<:}$}
\newcommand\hne{Haskell98\xspace}
\newcommand\tit{PolyKinds\xspace}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Revision Tool
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand\auxiliarymaterialwithlink{the technical supplement\footnote{\url{http://arxiv.org/abs/1911.06153}.}\xspace}
\newcommand\mynote[3]{\textcolor{#2}{#1: #3}}
\newcommand\bruno[1]{\mynote{Bruno}{red}{#1}}
\newcommand\ningning[1]{\mynote{Ningning}{orange}{#1}}
\newcommand\richard[1]{\mynote{Richard}{purple}{#1}}