Re: [Typer] [Git][monnier/typer][report/els-2017] Rephrase conclusion paragraph, other minor stuff

Hi Chris,

• Fix overfull hbox due to Barendregt

Thanks. BTW, I notice that my PDF is *very* different (as in: the end of the intro sometimes is a bit before the end of the 1st page and sometimes a bit after) depending on which machine I run pdflatex. Part of the difference between the two machines is that one has Debian stable the other has Debian testing, but maybe the cause is elsewhere. It's the first time I see such large differences without an actual teX error along the way.

• De-gender Nemerle

Poor guy!

Thx for the ack. This paper really helped me understand better what you're trying to do.

Thanks, that was definitely the motivation, so I'm happy to see at least it works for some people,

Stefan