Stefan pushed to branch report/jfla-2019 at Stefan / Typer

Commits: ccf14d4d by Stefan Monnier at 2018-10-26T18:03:30Z -

- - - - -

1 changed file:

- paper.tex

Changes:

===================================== paper.tex ===================================== @@ -8,7 +8,7 @@ \usepackage{fancyvrb} % prevent unfortunate line break in a short verbatim

\DeclareUnicodeCharacter{2261}{\ensuremath{\equiv}} -\DeclareUnicodeCharacter{21DB}{\ensuremath{\Rrightarrow}} +\DeclareUnicodeCharacter{21DB}{\raisebox{0.15\height}{$\equiv$}\texttt{>}} \DeclareUnicodeCharacter{2980}{\ensuremath{\Vvert}} \DeclareUnicodeCharacter{2081}{\ensuremath{_1}} \DeclareUnicodeCharacter{2082}{\ensuremath{_2}} @@ -180,6 +180,7 @@ traditional \id{map} function as follows: | nil => nil | cons x xs => cons (f x) (map f xs); \end{verbatim} +%% FIXME: It's actually not optional for recursive functions (like map). The type declaration is optional. The triple arrow $⇛$ is used for functions whose argument is \emph{implicit}, which is actually called \emph{erasable} in Typer.

View it on GitLab: https://gitlab.com/monnier/typer/commit/ccf14d4ddd63730ab1dadf12cda7128f7c18...