64 lines
1.1 KiB
TeX
Executable File
64 lines
1.1 KiB
TeX
Executable File
% https://git.betalupi.com/Mark/latex
|
|
% use [nosolutions] flag to hide solutions.
|
|
% use [solutions] flag to show solutions.
|
|
% Last built with version 1.1.0
|
|
|
|
\documentclass[
|
|
solutions,
|
|
singlenumbering
|
|
]{ormc_handout}
|
|
|
|
\usepackage{url}
|
|
\usepackage{mathtools} % for \coloneqq
|
|
\usepackage{subfiles}
|
|
|
|
% An invisible marker, used to
|
|
% draw arrows in equations.
|
|
\newcommand{\tzmr}[1]{
|
|
\tikz[
|
|
overlay,
|
|
remember picture,
|
|
right = 0.25ex
|
|
] \node (#1) {};
|
|
}
|
|
\newcommand{\tzm}[1]{
|
|
\tikz[
|
|
overlay,
|
|
remember picture
|
|
] \node (#1) {};
|
|
}
|
|
|
|
\newcommand{\lm}{\lambda}
|
|
|
|
% Notice that I a b = 1 a b!
|
|
|
|
|
|
\begin{document}
|
|
|
|
\maketitle
|
|
<Advanced 2>
|
|
<Fall 2022>
|
|
{Lambda Calculus}
|
|
{
|
|
Prepared by Mark on \today
|
|
}
|
|
|
|
|
|
\begin{minipage}{8cm}
|
|
Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.
|
|
|
|
\vspace{2ex}
|
|
|
|
Alan Perlis, \textit{Epigrams of Programming}, \#54
|
|
\end{minipage}
|
|
\hfill
|
|
|
|
|
|
\subfile{parts/00 intro}
|
|
\subfile{parts/01 combinators}
|
|
\subfile{parts/02 boolean}
|
|
\subfile{parts/03 numbers}
|
|
\subfile{parts/04 recursion}
|
|
\subfile{parts/05 challenges}
|
|
|
|
\end{document} |