I would say we have a problem when people who write compilers can't read type th... | Hacker News

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

mjdv 10 months ago | parent | context | favorite | on: 1ML for non-specialists: introduction

I would say we have a problem when people who write compilers can't read type theory papers, but then our backgrounds might differ. ;-)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact