lambda.sty

%
% A collection of our commonly used LaTeX macros.
%
\ProvidesPackage{lambda}

\RequirePackage{fancyvrb}
% \RequirePackage{mathptmx}
\RequirePackage{twoopt}

\newcommand{\LambdaVersion}{1.1}

%%%%%%%%%%%%%%
% Meta notes %
%%%%%%%%%%%%%%

% \NOTE{...} produces a large, obvious black box.  Use \medskip within to break
% up paragraphs if needed.  To make all note boxes invisible, add the following
% line after importing this file.
% \renewcommand{\NOTE}[1]{}
\newlength{\dummylen}
\newcommand{\NOTE}[1]{\setlength{\dummylen}{\fboxrule}\setlength{\fboxrule}{2pt}%
            \vspace{1ex}\noindent\hfill%
            \fbox{\begin{minipage}{.96\columnwidth}#1\end{minipage}}%
            \setlength{\fboxrule}{\dummylen}\hfill{}\vspace{1ex}}

% in-line comments
\newcommand{\TODO}[1]{\ifdefined\color
                        {\color{red}[#1]}%
                      \else
                        {\emph{[#1]}}%
                      \fi}

%%%%%%%%%%
% Layout %
%%%%%%%%%%

% add after \begin{itemize|enumerate} for dense lists
\def\denseitems{
    \itemsep1pt plus1pt minus1pt
    \parsep0pt plus0pt
    \parskip0pt\topsep0pt}

% add after \begin{itemize|enumerate} for sparse lists
\def\sparseitems{
    \itemsep11pt plus1pt minus1pt
    \parsep3pt plus0pt
    \parskip3pt\topsep0pt}


%%%%%%%%%%%%%%%%%%%%%%
% Generic math stuff %
%%%%%%%%%%%%%%%%%%%%%%

% ensure math mode (what does OB stand for?)
\def\OB#1{\ifmmode#1\else\mbox{$#1$}\fi}
% \newcommand{\OB}[1]{\ensuremath{#1}}

%% multi-line definitions
\newcommand{\Begindef}{\ =\ \BegindefNES}
\newcommand{\BegindefNES}{\left\{\begin{array}{@{}l@{\quad}l}}
\newcommand{\Enddef}{\end{array}\right.}
\newcommand{\If}{\textrm{if\ }}
\newcommand{\Otherwise}{\textrm{otherwise}}

% sets and vectors
\newcommand{\set}[1]{\OB{\{#1\}}}
\newcommand{\setc}[2]{\set{#1\;|\;#2}}
\newcommand{\vect}[1]{\OB{\langle#1\rangle}}

% enumerations and indexing
\newcommand{\vij}[3]{\OB{#1_{#2},\ldots,#1_{#3}}}
\newcommand{\vi}[2]{\vij{#1}{1}{#2}}
\newcommand{\vn}[2][n]{\vi{#2}{#1}}
\newcommand{\vnButi}[3][n]{\OB{#2_1,\ldots,#2_{#3-1},#2_{#3+1},\ldots,#2_{#1}}}
\newcommand{\cseq}[2][n]{\OB{^{#2:1..#1}}}
\newcommand{\iPat}[2][i]{\OB{[#1\mathop:#2]}}
\newcommandtwoopt{\ijPat}[4][i][j]{\OB{[#1\mathop:#3,#2\mathop:#4]}}

% domain and range of mappings
\newcommand{\domSym}{\mathit{dom}}
\newcommand{\rngSym}{\mathit{rng}}
\newcommand{\dom}[1]{\OB{\domSym(#1)}}
\newcommand{\rng}[1]{\OB{\rngSym(#1)}}

% a shorter equal sign
%\RequirePackage{graphicx}
%\makeatletter
%\newcommand{\shorteq}{%
%  \textrm{%
%  \settowidth{\@tempdima}{--}%
%  \resizebox{\@tempdima}{\height}{=}}}
%\makeatother


%%%%%%%%%%%%%%%%%%%%%%%%%
% Language design stuff %
%%%%%%%%%%%%%%%%%%%%%%%%%

% syntax/grammars
\newenvironment{syntax}{\[\begin{array}{rcl@{\quad}l}}
                       {\end{array}\]\ignorespacesafterend}

% semantics
%\RequirePackage{stmaryrd}
%\newcommand{\sem}[2][{}]{\OB{\semL#2\semR_{#1}}}
%\newcommand{\semL}{\llbracket}
%\newcommand{\semR}{\rrbracket}

% substitution
% order of arguments mirrors a let-expression:
% let v=e in e' ~> \subst{v}{e}{e'}
\newcommand{\subst}[3]{\OB{[#2/#1]#3}}

% contexts
\newcommand{\ctx}[2][C]{\OB{#1[#2]}}

% program/code environments

% a backslash character that works in program environments
\newcommand{\bs}{\texttt{\symbol{92}}}

% renew these commands to change the size and indentation of program text
\newcommand{\progind}{\parindent}
\newcommand{\progfontsize}{\small}
\newcommand{\progformat}{\tt}

% verbatim code + latex macros
\DefineVerbatimEnvironment{program}{Verbatim}
   {xleftmargin=\progind,fontsize=\progfontsize,formatcom=\progformat,
    commandchars=\\\{\},samepage=true}
\DefineVerbatimEnvironment{programNoCmdChr}{Verbatim}
   {baselinestretch=1.0,xleftmargin=\progind,fontsize=\progfontsize,
    samepage=true}
\DefineVerbatimEnvironment{sprogram}{Verbatim}
   {xleftmargin=\progind,fontsize=\footnotesize,formatcom=\progformat,
    commandchars=\\\{\},samepage=true}
\DefineVerbatimEnvironment{bprogram}{BVerbatim}
   {fontsize=\progfontsize,formatcom=\progformat,
    commandchars=\\\{\},samepage=true}

% non-verbatim code
\newcommand{\xx}{\phantom{xx}} % indent
\newenvironment{qprogram}
   {\begin{list}{}{%
      \setlength{\leftmargin}{\progind}}\item[]\ignorespaces}
   {\unskip\end{list}}

% in-line code
\newcommand{\prog}[1]{\textrm{\progfontsize\progformat\texttt{#1}}}