TyInf: make a bit more sense of section 7, and another possible generalist's lemma
TyInf: make a bit more sense of section 7, and another possible generalist's lemma
brixen/Epigram,kwangkim/pigment,kwangkim/pigment,kwangkim/pigment