Commit 53680822 by POTTIER Francois

Anonymized version of the documentation.

parent e1280391
......@@ -27,7 +27,7 @@
\title{Visitors\\\normalsize version \visitorsversion}
\date{}
\begin{document}
\author{François Pottier\\ Inria Paris\\ \email{francois.pottier@inria.fr}}
\author{Anonymous}
\maketitle
% ------------------------------------------------------------------------------
......@@ -37,15 +37,6 @@
\clearpage
% ------------------------------------------------------------------------------
\begin{flushright}
Les visites font toujours plaisir, si ce n'est en arrivant, du moins en
partant. \\ --- \textit{Jean de La Bruyère}
\end{flushright}
\vspace{1cm}
% ------------------------------------------------------------------------------
% ------------------------------------------------------------------------------
\section{Introduction}
......@@ -1243,7 +1234,7 @@ in \fref{fig:simplified}. On the face of it, this is a universal
quantification over a type variable, named \oc|'monomorphic|, which does
\emph{not} appear in the type of the method. From a purely logical standpoint,
such a universal quantification should be superfluous. Yet, here, it is
required, due to the following peculiarity of OCaml~\cite{ocaml7465}:
required, due to the following peculiarity of OCaml:
\begin{quote}
In a class type,
if the type of a method exhibits a free variable~\oc|'a|,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment