Skip to content

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).

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information