-
Notifications
You must be signed in to change notification settings - Fork 2
/
exercise-answers.tex
67 lines (56 loc) · 1.09 KB
/
exercise-answers.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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
\documentclass[11pt,a4paper]{article}
\usepackage{geometry}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{indentfirst}
\usepackage{bussproofs}
\usepackage{listings}
\usepackage{graphicx}
\usepackage{minted}
\newcommand{\MyAns}[2]{\input{./ch#1/ex-#1.#2.tex}}
\newenvironment{scprooftree}[1]%
{\gdef\scalefactor{#1}\begin{center}\proofSkipAmount \leavevmode}%
{\scalebox{\scalefactor}{\DisplayProof}\proofSkipAmount \end{center} }
\title{
My Exercise Answers to \\
Essentials of Programming Languages \\
(Non-coding part)
}
\author{Javran Cheng}
\date{}
\begin{document}
\maketitle
\lstset{language=Lisp}
\lstset{basicstyle=\ttfamily\footnotesize,breaklines=true}
\MyAns{1}{1}
\MyAns{1}{2}
\MyAns{1}{3}
\MyAns{1}{4}
\MyAns{1}{5}
\MyAns{1}{6}
\MyAns{1}{10}
\MyAns{1}{11}
\MyAns{1}{14}
\MyAns{2}{4}
\MyAns{3}{1}
\MyAns{3}{2}
\MyAns{3}{3}
\MyAns{3}{4}
\MyAns{3}{5}
\MyAns{3}{11}
\MyAns{3}{30}
\MyAns{4}{1}
\MyAns{4}{2}
\MyAns{4}{3}
\MyAns{4}{4}
\MyAns{4}{5}
\MyAns{4}{6}
\MyAns{4}{7}
\MyAns{4}{8}
\MyAns{4}{9}
\MyAns{4}{10}
\MyAns{4}{14}
\MyAns{4}{15}
\MyAns{4}{17}
\MyAns{5}{2}
\end{document}