merge
This commit is contained in:
Philip Wadler
commit
88ce889159
3 changed files with 123 additions and 1 deletions
BIN
courses/tspl/2019/Instructions.pdf
Normal file
BIN
courses/tspl/2019/Instructions.pdf
Normal file
Binary file not shown.
122
courses/tspl/2019/Instructions.tex
Normal file
122
courses/tspl/2019/Instructions.tex
Normal file
|
|
@ -0,0 +1,122 @@
|
|||
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
% Instructions for TSPL Exam
|
||||
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||||
|
||||
\documentclass[12pt]{article}
|
||||
\usepackage{a4,amssymb}
|
||||
% \setlength{\oddsidemargin}{-1.5cm}
|
||||
% \addtolength{\textwidth}{2cm}
|
||||
% \addtolength{\textheight}{3cm}
|
||||
|
||||
\begin{document}
|
||||
\pagestyle{empty}
|
||||
\setcounter{page}{1}
|
||||
|
||||
\begin{center}
|
||||
\large Types and Semantics for Programming Languages
|
||||
\end{center}
|
||||
|
||||
\section*{Instructions}
|
||||
|
||||
\begin{enumerate}
|
||||
|
||||
\item
|
||||
The exam lasts two hours.
|
||||
|
||||
\item
|
||||
Place your student identity card face-up on the desk in front of you. The
|
||||
invigilator may come to check your identity, and in this case you may be asked
|
||||
to allow the invigilator to briefly use your computer. The exam time has been
|
||||
calculated to allow time for such interruptions.
|
||||
|
||||
\item
|
||||
You may log into your computer as soon as you are ready to do so.
|
||||
|
||||
\item
|
||||
To download the exam paper, open a terminal window and type:
|
||||
\begin{center}
|
||||
\texttt{getpapers}
|
||||
\end{center}
|
||||
This will create a subdirectory \texttt{tspl-pe} in your home directory,
|
||||
containing the following files.
|
||||
\begin{center}
|
||||
\begin{tabular}{ll}
|
||||
\texttt{tspl-pe/papers/exam.pdf} & the exam \\
|
||||
\texttt{tspl-pe/papers/instructions.pdf} & these instructions \\
|
||||
\texttt{tspl-pe/templates/Exam.lagda} & exam template to edit \\
|
||||
\texttt{tspl-pe/original\_templates/Exam.lagda} & backup of exam template
|
||||
\end{tabular}
|
||||
\end{center}
|
||||
The directories \texttt{tspl-pe/papers} and
|
||||
\texttt{tspl-pe/original\_templates}
|
||||
are read only, but you may read and write \texttt{tspl-pe/templates}.
|
||||
|
||||
\item
|
||||
To setup the Agda environment, open a second terminal window and type:
|
||||
\begin{center}
|
||||
\texttt{tspl-setup}
|
||||
\end{center}
|
||||
This will open a browser, with three tabs which contain the textbook
|
||||
\emph{Programming Language Foundations in Agda}, the documentation for the
|
||||
Agda standard library, and the documentation for Agda. (The browser may
|
||||
also attempt to link to the internet, which brings up a tab labeled
|
||||
``Problem loading page''; this is expected and not a problem.)
|
||||
|
||||
{\it (Note that internet access has been disabled.)}
|
||||
|
||||
\begin{center}
|
||||
\textbf{Do nothing further until the start of the exam is announced!}
|
||||
\end{center}
|
||||
|
||||
\hfill \textit{Please Turn Over}
|
||||
\newpage
|
||||
|
||||
\item When the start of the exam is announced, open the exam paper
|
||||
\begin{center}
|
||||
\texttt{tspl-pe/papers/exam.pdf}
|
||||
\end{center}
|
||||
with the standard PDF viewer.
|
||||
|
||||
\item Change to the template directory
|
||||
\begin{center}
|
||||
\texttt{cd tspl-pe/templates}
|
||||
\end{center}
|
||||
and edit the file
|
||||
\begin{center}
|
||||
\texttt{Exam.lagda}
|
||||
\end{center}
|
||||
to include your answers, using Emacs or anything else suitable.
|
||||
You are recommended to save your work on a regular basis.
|
||||
|
||||
\item Before submitting, make sure your file is processed by Agda
|
||||
correctly. Code which prevents the file from compiling should be
|
||||
made into comments. If you fail to solve part of a problem, you
|
||||
may get more credit if you indicate clearly which part you have
|
||||
not solved.
|
||||
|
||||
\item \emph{Please ensure before submission that the file}
|
||||
\texttt{Exam.lagda} \emph{contains your solutions to the exam.} Submit
|
||||
your file using the command:
|
||||
\begin{center}
|
||||
\texttt{examsubmit Exam.lagda}
|
||||
\end{center}
|
||||
If you get an error, please check carefully that your file is called
|
||||
\texttt{Exam.lagda} and that you are in the same directory as this
|
||||
file. If you continue to have problems, please contact one of the
|
||||
invigilators.
|
||||
|
||||
Repeated submit commands are allowed, and will overwrite previous
|
||||
submissions. The last file submitted will be the one marked.
|
||||
|
||||
\item When the invigilators announce the end of the exam, you must
|
||||
submit and log out immediately.
|
||||
|
||||
\end{enumerate}
|
||||
|
||||
\end{document}
|
||||
|
||||
|
||||
%%% Local Variables:
|
||||
%%% mode: latex
|
||||
%%% TeX-master: t
|
||||
%%% End:
|
||||
|
|
@ -123,7 +123,7 @@ For instructions on how to set up Agda for PLFA see [Getting Started]({{ site.ba
|
|||
* [Assignment 2]({{ site.baseurl }}/TSPL/2019/Assignment2/) cw2 due 4pm Thursday 17 October (Week 5)
|
||||
* [Assignment 3]({{ site.baseurl }}/TSPL/2019/Assignment3/) cw3 due 4pm Thursday 31 October (Week 7)
|
||||
* [Assignment 4]({{ site.baseurl }}/TSPL/2019/Assignment4/) cw4 due 4pm Thursday 14 November (Week 9)
|
||||
* [Assignment 5]({{ site.baseurl }}/courses/tspl/2019/Mock1.pdf) cw5 due 4pm Thursday 21 November (Week 10)
|
||||
* [Assignment 5]({{ site.baseurl }}/courses/tspl/2019/Mock1.pdf) cw5 due 4pm Thursday 21 November (Week 10)<br>
|
||||
Use file [Exam]({{ site.baseurl }}/TSPL/2019/Exam/). Despite the rubric, do **all three questions**.
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Reference in a new issue