1 files changed, 84 insertions, 0 deletions
diff --git a/language/manual.tex b/language/manual.tex
new file mode 100644
index 00000000..d96e7263
--- /dev/null
+++ b/language/manual.tex
@@ -0,0 +1,84 @@
+\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}
+
+\section{Sail type system}
+
+\section{Sail operational semantics \{TODO\}}
+
+\end{document}
+\ No newline at end of file