Great. 35 points and no discussion. I’d say that tells you SOMETHING about type ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		auggierose on Nov 18, 2017 \| parent \| context \| favorite \| on: Monotonicity Types: Towards a Type System for Even... Great. 35 points and no discussion. I’d say that tells you SOMETHING about type theory.

nine_k on Nov 18, 2017 [–]

E.g. it says: we need time to actually read the paper.

auggierose on Nov 18, 2017 | [–]

Funny. If only.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact