Restore manual.tex mysteriously deleted by peter in May 2015.

1 files changed, 117 insertions, 0 deletions

diff --git a/language/manual.tex b/language/manual.tex
new file mode 100644
index 00000000..5d4b9d6a
--- /dev/null
+++ b/language/manual.tex
@@ -0,0 +1,117 @@
+\documentclass[11pt]{article}
+
+\usepackage{amsmath,amssymb,supertabular,geometry,fullpage}
+\geometry{a4paper,twoside,landscape,left=10.5mm,right=10.5mm,top=20mm,bottom=30mm}
+\usepackage{color}
+
+\begin{document}
+
+\input{doc_in}
+
+\title{Sail Manual}
+\author{Kathryn E Gray, Gabriel Kerneis, Peter Sewell}
+
+\maketitle
+
+\tableofcontents
+
+\newpage
+
+\section{Sail syntax}
+
+\ottgrammartabular{
+\ottl\ottinterrule
+\ottannot\ottinterrule
+\ottid\ottinterrule
+\ottkid\ottinterrule
+\ottbaseXXkind\ottinterrule
+\ottkind\ottinterrule
+\ottnexp\ottinterrule
+\ottorder\ottinterrule
+\ottbaseXXeffect\ottinterrule
+\otteffect\ottinterrule
+\otttyp\ottinterrule
+\otttypXXarg\ottinterrule
+\ottnXXconstraint\ottinterrule
+\ottkindedXXid\ottinterrule
+\ottquantXXitem\ottinterrule
+\otttypquant\ottinterrule
+\otttypschm\ottinterrule
+\ottnameXXscmXXopt\ottinterrule
+\otttypeXXdef\ottinterrule
+\otttypeXXunion\ottinterrule
+\ottindexXXrange\ottinterrule
+\ottlit\ottinterrule
+\ottsemiXXopt\ottinterrule
+\ottpat\ottinterrule
+\ottfpat\ottinterrule
+\ottexp\ottinterrule
+\ottlexp\ottinterrule
+\ottfexp\ottinterrule
+\ottfexps\ottinterrule
+\ottoptXXdefault\ottinterrule
+\ottpexp\ottinterrule
+\otttannotXXopt\ottinterrule
+\ottrecXXopt\ottinterrule
+\otteffectXXopt\ottinterrule
+\ottfuncl\ottinterrule
+\ottfundef\ottinterrule
+\ottletbind\ottinterrule
+\ottvalXXspec\ottinterrule
+\ottdefaultXXspec\ottinterrule
+\ottscatteredXXdef\ottinterrule
+\ottregXXid\ottinterrule
+\ottaliasXXspec\ottinterrule
+\ottdecXXspec\ottinterrule
+\ottdef\ottinterrule
+\ottdefs\ottinterrule}
+
+\newpage
+\section{Sail primitive types and functions}
+
+\ottgrammartabular{
+\ottbuiltXXinXXtypes\ottinterrule}
+
+\ottgrammartabular{
+\ottbuiltXXinXXtypeXXabbreviations\ottinterrule
+\ottfunctions\ottinterrule
+\ottfunctionsXXwithXXcoercions\ottinterrule}
+\newpage
+
+\section{Sail type system}
+
+\subsection{Internal type syntax}
+
+\ottgrammartabular{
+\ottk\ottinterrule
+\ottt\ottinterrule
+\ottoptx\ottinterrule
+\otttag\ottinterrule
+\ottne\ottinterrule
+\otttXXarg\ottinterrule
+\otttXXargs\ottinterrule
+\ottnec\ottinterrule
+\ottSXXN\ottinterrule
+\ottEXXd\ottinterrule
+\ottkinf\ottinterrule
+\otttid\ottinterrule
+\ottEXXk\ottinterrule
+\otttinf\ottinterrule
+\ottEXXa\ottinterrule
+\ottfieldXXtyps\ottinterrule
+\ottEXXr\ottinterrule
+\ottenumerateXXmap\ottinterrule
+\ottEXXe\ottinterrule
+\ottEXXt\ottinterrule
+\ottts\ottinterrule
+\ottE\ottinterrule
+\ottI\ottinterrule
+\ottformula\ottinterrule}
+
+
+\subsection{ Type relations }
+\ottdefnss
+
+\section{Sail operational semantics \{TODO\}}
+
+\end{document}
\ No newline at end of file