lambdabetaeta

%% Basic Type Theory macros
%% Alex Kavvos, 2024-
%% with thanks to Daniel Gratzer

\ProvidesPackage{lambda-macros}[2024/02/20 type-theory-macros]

%% Load in your own work by putting in the same folder as your file and invoking
%%
%%   \usepackage{type-theory-macros}
%%

lambdabetaeta

%% LaTeX macros for Call-by-Push-Value
%% Alex Kavvos, 2021-2024

\ProvidesPackage{cbpv}[2023/01/11 cbpv-macros]

%% We require Jon Sterling's delimiters package for nice parentheses.

\RequirePackage{jmsdelim}

%% THE FOLLOWING MACROS REQUIRE THE USE OF **xparse**

lambdabetaeta

\RequirePackage{amsmath}
\RequirePackage{xparse}
\RequirePackage{bbold}

\NewDocumentCommand{\TV}{}{\mathbb{2}}

\NewDocumentCommand{\Sup}{o}{
  \DelimMin{2} \mathop{\bigsqcup\IfValueT{#1}{_{#1}}}
}
\NewDocumentCommand{\DirectedSup}{o}{

lambdabetaeta

\RequirePackage{xparse}
\RequirePackage{mathtools}
\RequirePackage{jmsdelim}

%% Defining equality and equivalence
\NewDocumentCommand{\defeq}{}{\stackrel{\mathclap{\mbox{\tiny def}}}{=}}
\newcommand{\defequiv}{\stackrel{\mathclap{\mbox{\tiny def}}}{\equiv}}

%% Some bracket shorthands
\NewDocumentCommand{\prn}{m}{\DelimPrn{#1}}

lambdabetaeta

\RequirePackage{xparse}
\RequirePackage{jmsdelim}
\RequirePackage{graphicx}

%% CATEGORICAL CONSTANTS
\NewDocumentCommand{\SET}{}{\mathbf{Set}}
\NewDocumentCommand{\CAT}{}{\mathbf{Cat}}
\NewDocumentCommand{\COCONT}{}{\textbf{Cocont}}
\NewDocumentCommand{\TT}{}{\mathbb{T}}
\NewDocumentCommand{\BB}{}{\mathcal{B}}

lambdabetaeta

\RequiresPackage{lambda}

\NewDocumentCommand{\Lock}{}{\text{\faLock}}
\NewDocumentCommand{\LockCx}{m}{#1, \Lock}

\NewDocumentCommand{\MkBox}{m}{\Tm{\mathsf{box}\DelimPrn{#1}}}
\NewDocumentCommand{\UnBox}{m}{\Tm{\mathsf{unbox}\DelimPrn{#1}}}

lambdabetaeta

%% Basic Lambda Calculus macros
%% Alex Kavvos, 2021-2023

\ProvidesPackage{lambda-macros}[2024/04/10 lambda-macros]

%% Load in your own work by putting in the same folder as your file and invoking
%%
%%   \usepackage{lambda-macros}
%%

lambdabetaeta

ps2pdf -dMaxSubsetPct=100 -dCompatibilityLevel=1.2  -dSubsetFonts=true -dEmbedAllFonts=true  -dAutoFilterColorImages=false  -dAutoFilterGrayImages=false  -dColorImageFilter=/FlateEncode  -dGrayImageFilter=/FlateEncode  -dModoImageFilter=/FlateEncode  

lambdabetaeta

exiftool -all:all= $1
qpdf --linearize --replace-input $1