Hacker News new | ask | show | jobs
by qtplatypus 1331 days ago
This explains the nature of fixed point type theory and its application to trans rights.