PLAI/PLAI.tex at master · ponyatov/PLAI · GitHub

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
50
51
52
53
54
55
56
\input{../texheader/ebook}

\title{PLAI: Programming Languages: Application and Interpretation}
\author{\copyright\ Shriram Krishnamurthy}

\usepackage{../texheader/lstrkt}\lstdefinestyle{rkt}{language=rkt}

\newcommand{\Exercise}[1]{
	\begin{description}
		\item{\textcolor{red}{Упражнение}}\\#1
	\end{description}
}

\newcommand{\DoNow}[1]{
	\begin{description}
		\item{\textcolor{red}{Сделайте\,!}}\\#1
	\end{description}
}

% first titlepage fix:
%http://tex.stackexchange.com/questions/140168/how-to-remove-a-blank-page-before-the-title-page
\usepackage{atbegshi}
\AtBeginDocument{\AtBeginShipoutNext{\AtBeginShipoutDiscard}}

\newcommand{\hm}{$H_m$}

\begin{document}
\input{lic/title}
\tableofcontents
\secdown

\input{1/intro}
\input{2/parsing}
\input{3/interp}
\input{4/desugaring}

\input{5/func}
\input{6/env}
\input{7/fnanyw}
\input{8/mutation}
\input{9/recursion}

\input{10/objects}
\input{11/memory}
\input{12/repr}
\input{13/desugaring}
\input{14/control}

\input{15/invar}
\input{16/contracts}
\input{17/alter}

\clearpage
\addcontentsline{toc}{chapter}{Index \ru{Предметный указатель}}\printindex

\end{document}