Merge remote-tracking branch 'origin/master' into ci

README.md

@@ -0,0 +1,18 @@
+# Essentials of Compilation
+
+This is a book about compiling a subset of Racket to x86-64 assembly code.
+
+**Generating the book**
+
+To generate the book (`build/book.pdf`), run the `make` command (assuming
+you have a full install of TeX Live).
+
+**Related resources**
+
+* [IU Compiler Course Webpage](https://iucompilercourse.github.io/IU-P423-P523-E313-E513-Fall-2020/)
+* [Public Student Support Code](https://github.com/IUCompilerCourse/public-student-support-code)
+
+If you are an instructor, you may also request access to the reference
+implementation of the compiler and the full test suite.
+
+* [Instructor Solution](https://github.com/IUCompilerCourse/course-compiler)

defs.tex

@@ -28,11 +28,13 @@
 \newcommand{\READ}{\key{(Prim}\;\code{'read}\;\key{'())}}
 \newcommand{\NEG}[1]{\key{(Prim}\;\code{'-}\;\code{(list}\;#1\;\code{))}}
 \newcommand{\PROGRAM}[2]{\code{(Program}\;#1\;#2\code{)}}
+\newcommand{\PROGRAMDEFSEXP}[3]{\code{(ProgramDefsExp}~#1~#2~#3\code{)}}
+\newcommand{\PROGRAMDEFS}[2]{\code{(ProgramDefs}~#1~#2\code{)}}
 \newcommand{\ADD}[2]{\key{(Prim}\;\code{'+}\;\code{(list}\;#1\;#2\code{))}}
 \newcommand{\AND}[2]{\key{(Prim}\;\code{'and}\;\code{(list}\;#1\;#2\code{))}}
 \newcommand{\OR}[2]{\key{(Prim}\;\code{'or}\;\code{(list}\;#1\;#2\code{))}}
 \newcommand{\NOT}[1]{\key{(Prim}\;\code{'not}\;\code{(list}\;#1\;\code{))}}
-\newcommand{\UNIOP}[2]{\key{(Prim}\;#1\;\code{(list}\;#2\;\code{))}}
+\newcommand{\UNIOP}[2]{\key{(Prim}\;#1\;\code{(list}\;#2\code{))}}
 \newcommand{\BINOP}[3]{\key{(Prim}\;#1\;\code{(list}\;#2\;#3\code{))}}
 \newcommand{\VAR}[1]{\key{(Var}\;#1\key{)}}
 \newcommand{\LET}[3]{\key{(Let}~#1~#2~#3\key{)}}
@@ -41,6 +43,9 @@
 \newcommand{\VECREF}[2]{\key{(Prim}\;\code{'vector-ref}\;\code{(list}\;#1\;#2\code{))}}
 \newcommand{\VECSET}[3]{\key{(Prim}\;\code{'vector-set}\;\code{(list}\;#1\;#2\;#3\code{))}}
 \newcommand{\VOID}[1]{\key{(Void)}}
+\newcommand{\APPLY}[2]{\key{(Apply}\;#1\;#2\code{)}}
+\newcommand{\FUNDEF}[5]{\key{(Def}~#1~#2~#3~#4~#5\code{)}}
+\newcommand{\FUNREF}[1]{\key{(FunRef}\;#1\code{)}}
 
 \newcommand{\ASSIGN}[2]{\key{(Assign}~#1\;#2\key{)}}
 \newcommand{\RETURN}[1]{\key{(Return}~#1\key{)}}