Hacker News new | ask | show | jobs
by codygman 4130 days ago
> What about type theory weenies?

Are we first graders?