2024-10-19 UTC
# 
trwnh that doesn't seem to hold up... does it? in any case, this whole thing has generally been throwing my head for a loop because the types being expressed here don't initially line up with my understanding of type theory (for example, h-entries suddenly becoming h-cites when you refer to them implies that the reference is different from the thing itself -- kind of like how you can reify a Link and then describe properties of it like `rel` or `href`