Hacker News new | ask | show | jobs
by PartiallyTyped 814 days ago
I am trying to learn type theory and get into grad school.