Provide a link to 'A reflection on types' in Type.Reflection
Motivation
Currently, the documentation page for Type.Reflection
on Hackage mentions the paper 'A reflection on types', but does not link it. Given that a public-facing copy is available, it seems like a missed opportunity to direct people more, well, directly to the original write-up of the ideas behind Type.Reflection
.
Proposal
Include a link to the public-facing copy of the paper. Ideally, this should be done in the first section of the Type.Reflection
page (where the paper is mentioned but currently not linked).