25 May
2018
25 May
'18
7:36 a.m.
Hi, Am Freitag, den 25.05.2018, 11:33 +0000 schrieb Simon Peyton Jones:
Ha! That comment is out of date. More up to date is Note [The substitution invariant] in TyCoRep. I've updated it (and will commit in a moment) to say the stuff below.
Does that answer the question?
indeed it does! Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/