Skip to content

User Guide link to injective type families paper is dead

Summary

The link to the paper "Injective type families for Haskell" linked to here in the User's Guide 404's.

Proposed improvements or changes

Ideally, it should be replaced with a live link. I have not been able to find a publicly accessible one.

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