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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/ccf14d4ddd63730ab1dadf12cda7128f7c18... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan