2 commits

Author	SHA1	Message	Date
jultty	01307f75f8	Headers refer directly to links on RSS, links have authors	2026-04-11 12:55:04 -03:00
jultty	bb5a2605c4	New link: Dependent Types and HTTP Headers	2024-11-28 11:22:40 -03:00